@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
}