%0 Conference Paper %1 conf/cdc/MarkovskiBTJR10 %A Markovski, Jasen %A van Beek, Dirk A. %A Theunissen, Rolf J. M. %A Jacobs, Koen G. M. %A Rooda, Jacobus E. %B CDC %D 2010 %I IEEE %K dblp %P 3481-3486 %T A state-based framework for supervisory control synthesis and verification. %U http://dblp.uni-trier.de/db/conf/cdc/cdc2010.html#MarkovskiBTJR10 %@ 978-1-4244-7745-6

@inproceedings{conf/cdc/MarkovskiBTJR10, added-at = {2020-08-03T00:00:00.000+0200}, author = {Markovski, Jasen and van Beek, Dirk A. and Theunissen, Rolf J. M. and Jacobs, Koen G. M. and Rooda, Jacobus E.}, biburl = {https://www.bibsonomy.org/bibtex/2e60a11d5f7a824cb4ef12b2efb721443/dblp}, booktitle = {CDC}, crossref = {conf/cdc/2010}, ee = {https://doi.org/10.1109/CDC.2010.5717095}, interhash = {8f5cf9253c45635e228c01c296b3b8cf}, intrahash = {e60a11d5f7a824cb4ef12b2efb721443}, isbn = {978-1-4244-7745-6}, keywords = {dblp}, pages = {3481-3486}, publisher = {IEEE}, timestamp = {2024-04-09T15:34:08.000+0200}, title = {A state-based framework for supervisory control synthesis and verification.}, url = {http://dblp.uni-trier.de/db/conf/cdc/cdc2010.html#MarkovskiBTJR10}, year = 2010 }