Synthesis of Open Reactive Systems from Scenario-Based Specifications

Technical Report PDF: 
Technical Report Number: 
2004.33
TitleSynthesis of Open Reactive Systems from Scenario-Based Specifications
Publication TypeJournal Article
Year of Publication2004
AuthorsBontemps, Y, Schobbens P-Y, Löding C
JournalFundam. Inform.
Volume62
Pagination139-169