Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems Vienna, Austria, 8 July 2016 Preface

被引：0

作者：

Uhrmacher, Adelinde M. ^{[1
]}

机构：

[1] Univ Rostock, Rostock, Germany

来源：

ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2016年 / 217期

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：1 / 3

页数：3

共 20 条

[1] Proceedings Fifth International Workshop on Classical Logic and Computation Vienna, Austria, July 13, 2014 Preface
Oliva, Paulo
[J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (164):
[2] Proceedings Third International Workshop on Linearity Vienna, Austria, 13th July, 2014 Preface
不详
[J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2015, (176):
[3] Proceedings First Workshop on Horn Clauses for Verification and Synthesis Vienna, Austria, 17 July 2014 Preface
不详
[J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (169):
[4] Proceedings 10th International Workshop on Automated Specification and Verification of Web Systems Vienna, Austria, July 18, 2014 Preface
ter Beek, Maurice
Ravara, Antonio
[J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (163):
[5] Proceedings Tenth International Workshop on Developments in Computational Models Vienna, Austria, 13th July 2014 Preface
Dal Lago, Ugo
Harmer, Russ
[J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2015, (179):
[6] Guest Editorial for the Special Issue on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (FORECAST)
Ter Beek, Maurice H.
Loreti, Michele
[J]. ACM TRANSACTIONS ON MODELING AND COMPUTER SIMULATION, 2018, 28 (02):
[7] Proceedings of the Third Workshop on Formal Integrated Development Environment Limassol, Cyprus, November 8, 2016 Preface
Dubois, Catherine
Masci, Paolo
Mery, Dominique
[J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (240):
[8] Proceedings of the 2nd International Workshop on Formal Methods for Interactive Systems (FMIS 2007) Preface
Cerone, Antonio
Curzon, Paul
[J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 208 : 1 - 3
[9] Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications Vienna, Austria, 12-13th July 2014 Preface
Verbeek, Freek
Schmaltz, Julien
[J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (152):
[10] Proceedings of the International Conference on Strongly Correlated Electron Systems - SCES 2005 held in Vienna, Austria 26-30 July 2005 - Preface
Bauer, E
[J]. PHYSICA B-CONDENSED MATTER, 2006, 378-80 : XXXVII - XXXVII

← 1 2 →