Synthesis of Open Reactive Systems from scenario-based specification

Yves Bontemps, Pierre-Yves Schobbens

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

Search results