Proceedings Second Graphs as Models Workshop Eindhoven, The Netherlands, April 2-3, 2016 Preface

被引：0

|

作者：

Heussner, Alexander

Kissinger, Aleks

Wijs, Anton

机构：

来源：

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

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

收藏

页数：3

相关论文

共 50 条

[1] Proceedings 9th International Workshop on Computing with Terms and Graphs Eindhoven, The Netherlands, April 8, 2016 Preface
Corradini, Andrea
Fernandez, Maribel
Mackie, Ian
Plump, Detlef
van Raamsdonk, Femke
Zantema, Hans
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (225): : 1 - 2
[2] Proceedings Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd International Workshop on Synthesis of Complex Parameters Eindhoven, The Netherlands, April 2-3, 2016 Preface
Brihaye, Thomas
Markey, Nicolas
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (220):
[3] Proceedings of the Fourth International Workshop on Verification and Program Transformation Eindhoven, The Netherlands, 2nd April 2016 Preface
Hamilton, Geoff
Lisitsa, Alexei
Nemytykh, Andrei P.
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (216): : 1 - +
[4] Proceedings 3rd Workshop on Horn Clauses for Verification and Synthesis Eindhoven, The Netherlands, 3rd April 2016 Preface
Gallagher, John
Rummer, Philipp
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (219):
[5] Proceedings 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering Eindhoven, The Netherlands, April 3, 2016 Preface
Rubin, Julia
Thum, Thomas
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (206):
[6] Proceedings of the 13th International Workshop on Formal Engineering Approaches to Software Components and Architectures Eindhoven, The Netherlands, 3rd April 2016 Preface
Kofron, Jan
Tumova, Jana
Buhnova, Bara
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (205):
[7] Proceedings First Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies Eindhoven, The Netherlands, 8th April 2016 Preface
Gossler, Gregor
Sokolsky, Oleg
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (224):
[8] Proceedings Third Workshop on Graphs as Models Preface
Kehrer, Timo
Miller, Alice
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (263):
[9] Proceedings FM-09 Workshop on Formal Methods for Aerospace Eindhoven, The Netherlands, 3rd November 2009 Preface
Bujorianu, Manuela
Fisher, Michael
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2010, (20):
[10] Proceedings Fourth Workshop on Proof eXchange for Theorem Proving Berlin, Germany, August 2-3, 2015 Preface
Kaliszyk, Cezary
Paskevich, Andrei
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2015, (186):

← 1 2 3 4 5 →