Synthesis of safe sublanguages satisfying global specification using coordination scheme for discrete-event systems

2010

Presented at the International Workshop on Discrete Event Systems, Berlin, Germany

Additional Metadata
THEME	Life Sciences (theme 5), Energy (theme 4)
Publisher	Technische Universitität Berlin
Conference	International Workshop on Discrete Event Systems
Organisation	Scientific Computing
Citation APA APA Style APA-ALL Style AAA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Komenda, J., Masopust, T.& van Schuppen, J. (2010). Synthesis of safe sublanguages satisfying global specification using coordination scheme for discrete-event systems. Proceedings of International Workshop on Discrete Event Systems 2010, 436–441.

Publication