%0 Conference Paper %1 DBLP:conf/fase/KnappMRG15 %A Knapp, Alexander %A Mossakowski, Till %A Roggenbach, Markus %A Glauer, Martin %B Fundamental Approaches to Software Engineering - 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings %D 2015 %E Egyed, Alexander %E Schaefer, Ina %I Springer %K imported %P 3--18 %R 10.1007/978-3-662-46675-9_1 %T An Institution for Simple UML State Machines %U http://link.springer.com/chapter/10.1007%2F978-3-662-46675-9_1 %V 9033 %@ 978-3-662-46674-2

@inproceedings{DBLP:conf/fase/KnappMRG15, added-at = {2016-08-09T12:02:18.000+0200}, author = {Knapp, Alexander and Mossakowski, Till and Roggenbach, Markus and Glauer, Martin}, bibsource = {dblp computer science bibliography, http://dblp.org}, biburl = {https://www.bibsonomy.org/bibtex/26edd60c0ff42dec8e23e06b559f37d1d/tillmo}, booktitle = {Fundamental Approaches to Software Engineering - 18th International Conference, {FASE} 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2015, London, UK, April 11-18, 2015. Proceedings}, doi = {10.1007/978-3-662-46675-9_1}, editor = {Egyed, Alexander and Schaefer, Ina}, interhash = {a85ada540092d295847a03267c30b310}, intrahash = {6edd60c0ff42dec8e23e06b559f37d1d}, isbn = {978-3-662-46674-2}, keywords = {imported}, pages = {3--18}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2017-02-14T11:58:29.000+0100}, title = {An Institution for Simple {UML} State Machines}, url = {http://link.springer.com/chapter/10.1007%2F978-3-662-46675-9_1}, volume = 9033, year = 2015 }