%0 Conference Paper %1 conf/fase/KnappMRG15 %A Knapp, Alexander %A Mossakowski, Till %A Roggenbach, Markus %A Glauer, Martin %B FASE %D 2015 %E Egyed, Alexander %E Schaefer, Ina %I Springer %K %P 3-18 %T An Institution for Simple UML State Machines. %U http://dblp.uni-trier.de/db/conf/fase/fase2015.html#KnappMRG15 %V 9033 %@ 978-3-662-46674-2

@inproceedings{conf/fase/KnappMRG15, added-at = {2023-12-13T05:56:17.000+0100}, author = {Knapp, Alexander and Mossakowski, Till and Roggenbach, Markus and Glauer, Martin}, biburl = {https://www.bibsonomy.org/bibtex/21253913f3e93684e569e1c2da915da4a/admin}, booktitle = {FASE}, crossref = {conf/fase/2015}, editor = {Egyed, Alexander and Schaefer, Ina}, ee = {https://doi.org/10.1007/978-3-662-46675-9_1}, interhash = {a85ada540092d295847a03267c30b310}, intrahash = {1253913f3e93684e569e1c2da915da4a}, isbn = {978-3-662-46674-2}, keywords = {}, pages = {3-18}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T05:56:17.000+0100}, title = {An Institution for Simple UML State Machines.}, url = {http://dblp.uni-trier.de/db/conf/fase/fase2015.html#KnappMRG15}, volume = 9033, year = 2015 }