Proceedings Fifth Interaction and Concurrency Experience Stockholm, Sweden, 16th June 2012 Preface

被引：0
|
作者：
Carbone, Marco [1 ]
Lanese, Ivan [2 ]
Silva, Alexandra [3 ]
Sokolova, Ana [4 ]
机构：
[1] ITU, Copenhagen, Denmark
[2] Univ Bologna, Bologna, Italy
[3] Radboud Univ Nijmegen, Nijmegen, Netherlands
[4] Univ Salzburg, Salzburg, Austria
来源：
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2012年 / 104期
关键词：
D O I：
10.4204/EPTCS.104
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页数：2
相关论文
共 50 条
  • [1] Proceedings 8th International Workshop on Automated Specification and Verification of Web Systems Stockholm, Sweden, 16th July 2012 Preface
    Silva, Josep
    Tiezzi, Francesco
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2012, (98):
  • [2] Proceedings 6th Interaction and Concurrency Experience Florence, Italy, 6th June 2013 Preface
    Carbone, Marco
    Lanese, Ivan
    Lafuente, Alberto Lluch
    Sokolova, Ana
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (131):
  • [3] Proceedings 8th Interaction and Concurrency Experience Grenoble, France, 4-5th June 2015 Preface
    Knight, Sophia
    Lanese, Ivan
    Lafuente, Alberto Lluch
    Vieira, Hugo Torres
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2015, (189):
  • [4] Proceedings 11th Interaction and Concurrency Experience Madrid, Spain, June 20-21, 2018 Preface
    Bartoletti, Massimo
    Knight, Sophia
    Bocchi, Laura
    Henrio, Ludovic
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2018, (279):
  • [5] Proceedings of the ASPA 16th congress -: Preface
    Secchiari, Pierlorenzo
    [J]. ITALIAN JOURNAL OF ANIMAL SCIENCE, 2005, 4 : 3 - 3
  • [6] Proceedings 10th Interaction and Concurrency Experience Neuchatel, Switzerland, 21-22nd June 2017 Preface
    Bartoletti, Massimo
    Bocchi, Laura
    Henrio, Ludovic
    Knight, Sophia
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (261):
  • [7] Preface for the special issue on Interaction and Concurrency Experience 2012
    Carbone, Marco
    Lanese, Ivan
    Silva, Alexandra
    Sokolova, Ana
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2015, 100 : 1 - 1
  • [8] Proceedings Third Interaction and Concurrency Experience Guaranteed Interaction Amsterdam, The Netherlands, 10th of June 2010
    不详
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2010, (38):
  • [9] Proceedings 16th International Refinement Workshop Turku, Finland, 11th June 2013 Preface
    Boiten, Eerke
    Derrick, John
    Reeves, Steve
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (115):
  • [10] Preface to the 16th ILAS Conference Proceedings, Pisa 2010
    Bini, Dario A.
    Boettcher, Albrecht
    Gemignani, Luca
    Hogben, Leslie
    Tisseur, Francoise
    [J]. LINEAR ALGEBRA AND ITS APPLICATIONS, 2013, 438 (04) : 1495 - 1496
12345