Synthesis of Open Reactive Systems from scenario-based specification

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Proc. Third International Conference on Application of Concurrency to System Design
Editors	Johan Lilius, Felice Balarin
Publication status	Unpublished - 2003

Cite this

@inproceedings{2913387353454aaf9bb0d2c3953d5eb2,

title = "Synthesis of Open Reactive Systems from scenario-based specification",

author = "Yves Bontemps and Pierre-Yves Schobbens",

note = "Publication editors : Johan Lilius and Felice Balarin",

year = "2003",

language = "English",

editor = "Johan Lilius and Felice Balarin",

booktitle = "Proc. Third International Conference on Application of Concurrency to System Design",

}

TY - GEN

T1 - Synthesis of Open Reactive Systems from scenario-based specification

AU - Bontemps, Yves

AU - Schobbens, Pierre-Yves

N1 - Publication editors : Johan Lilius and Felice Balarin

PY - 2003

Y1 - 2003

M3 - Conference contribution

BT - Proc. Third International Conference on Application of Concurrency to System Design

A2 - Lilius, Johan

A2 - Balarin, Felice

ER -