%0 Conference Paper %1 conf/tacas/BeekFHHMMR14 %A van Beek, D. A. %A Fokkink, Wan J. %A Hendriks, Dennis %A Hofkamp, Albert T. %A Markovski, Jasen %A van de Mortel-Fronczak, Joanna M. %A Reniers, Michel A. %B TACAS %D 2014 %E Ábrahám, Erika %E Havelund, Klaus %I Springer %K dblp %P 575-580 %T CIF 3: Model-Based Engineering of Supervisory Controllers. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2014.html#BeekFHHMMR14 %V 8413 %@ 978-3-642-54861-1

@inproceedings{conf/tacas/BeekFHHMMR14, added-at = {2021-05-31T00:00:00.000+0200}, author = {van Beek, D. A. and Fokkink, Wan J. and Hendriks, Dennis and Hofkamp, Albert T. and Markovski, Jasen and van de Mortel-Fronczak, Joanna M. and Reniers, Michel A.}, biburl = {https://www.bibsonomy.org/bibtex/261c030d6e5a19a74072f2247616d72ae/dblp}, booktitle = {TACAS}, crossref = {conf/tacas/2014}, editor = {Ábrahám, Erika and Havelund, Klaus}, ee = {https://doi.org/10.1007/978-3-642-54862-8_48}, interhash = {281fb5246ff4a4b63a00ee93fa00c99e}, intrahash = {61c030d6e5a19a74072f2247616d72ae}, isbn = {978-3-642-54861-1}, keywords = {dblp}, pages = {575-580}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T16:29:50.000+0200}, title = {CIF 3: Model-Based Engineering of Supervisory Controllers.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2014.html#BeekFHHMMR14}, volume = 8413, year = 2014 }