Proceedings 9th International Workshop on Computing with Terms and Graphs Eindhoven, The Netherlands, April 8, 2016 Preface

被引：0

作者：

Corradini, Andrea ^{[1
]}

Fernandez, Maribel ^{[2
]}

Mackie, Ian ^{[3
]}

Plump, Detlef ^{[4
]}

van Raamsdonk, Femke ^{[5
]}

Zantema, Hans ^{[6
]}

机构：

[1] Dipartimento Informat, Pisa, Italy

[2] Kings Coll London, London, England

[3] Ecole Polytech, Palaiseau, France

[4] Univ York, York, N Yorkshire, England

[5] Vrije Univ Amsterdam, Amsterdam, Netherlands

[6] Eindhoven Univ Technol, Eindhoven, Netherlands

来源：

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

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：1 / 2

页数：2

共 50 条

[1] Proceedings Second Graphs as Models Workshop Eindhoven, The Netherlands, April 2-3, 2016 Preface
Heussner, Alexander
Kissinger, Aleks
Wijs, Anton
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (231):
[2] 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 - +
[3] 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):
[4] 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):
[5] 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):
[6] Proceedings of the 9th workshop RIPT Preface
Pawlowski, Lech
Vassen, Robert
Lusvarghi, Luca
SURFACE & COATINGS TECHNOLOGY, 2021, 412
[7] Proceedings 8th International Workshop on Parallel and Distributed Methods in verification Eindhoven, The Netherlands, 4th November 2009 Preface
Brim, Lubos
van de Pol, Jaco
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2009, (14):
[8] 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):
[9] Preface of Proceedings of the 9th International Conference on Hydrodynamics
You-Sheng Wu
Journal of Hydrodynamics, 2010, 22 (Suppl 1) : v - vi
[10] 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):

← 1 2 3 4 5 →