Proceedings 3rd Workshop on Horn Clauses for Verification and Synthesis Eindhoven, The Netherlands, 3rd April 2016 Preface

被引：0

作者：

Gallagher, John ^{[1
,2
]}

Rummer, Philipp ^{[3
]}

机构：

[1] Roskilde Univ, Roskilde, Denmark

[2] IMDEA Software Inst, Madrid, Spain

[3] Uppsala Univ, Uppsala, Sweden

来源：

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

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页数：2

共 50 条

[1] 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):
[2] 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):
[3] 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):
[4] Proceedings of the 3rd International Workshop on Systems Software Verification (SSV 2008) Preface
Huuck, Ralf
Klein, Gerwin
Schlich, Bastian
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 217 : 1 - 3
[5] PROCEEDINGS OF THE 3RD ILAS CONFERENCE - PREFACE
OLEARY, DP
RODMAN, L
SHAPIRO, H
LINEAR ALGEBRA AND ITS APPLICATIONS, 1994, 212 : 1 - 1
[6] 3RD SEAWEED BIOGEOGRAPHY WORKSHOP - PREFACE
LUNING, K
HELGOLANDER MEERESUNTERSUCHUNGEN, 1987, 41 (03): : 234 - 234
[7] WORKSHOP ON ACQUISITIONS FROM 3RD WORLD - PROCEEDINGS
CARROLL, J
THOMPSON, J
LIBRARY ACQUISITIONS-PRACTICE AND THEORY, 1977, 1 (02): : 117 - 133
[8] 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):
[9] The 3rd International Workshop on Polyominoes and Tilings - Preface
Aigrain, P
THEORETICAL COMPUTER SCIENCE, 1996, 159 (01) : 103 - 104
[10] Preface to the 3rd LowCode Workshop (LowCode 2022)
Proceedings - ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, MODELS 2022: Companion Proceedings, 2022,

← 1 2 3 4 5 →