Synthesis of Open Reactive Systems from Scenario-Based Specifications

Yves Bontemps, Pierre Yves Schobbens, Christof Löding. Synthesis of Open Reactive Systems from Scenario-Based Specifications. Fundamenta Informaticae, 62(2):139-169, 2004. [doi]

Abstract

Abstract is missing.