@article{ dblp2062473,
  title = {An Institution for Simple UML State Machines},
  author = {Alexander Knapp and Till Mossakowski and Markus Roggenbach and Martin Glauer},
  author_short = {Knapp, A. and Mossakowski, T. and Roggenbach, M. and Glauer, M.},
  bibtype = {article},
  type = {article},
  year = {2014},
  key = {dblp2062473},
  id = {dblp2062473},
  biburl = {http://www.dblp.org/rec/bibtex/journals/corr/KnappMRG14},
  url = {http://arxiv.org/abs/1411.4495},
  journal = {CoRR},
  volume = {abs/1411.4495},
  text = {CoRR abs/1411.4495 (2014)}
}

{"_id":"jMZGCgPDEn436LJEz","bibbaseid":"knapp-mossakowski-roggenbach-glauer-aninstitutionforsimpleumlstatemachines-2014","downloads":0,"creationDate":"2016-05-07T17:06:47.173Z","title":"An Institution for Simple UML State Machines","author_short":["Knapp, A.","Mossakowski, T.","Roggenbach, M.","Glauer, M."],"year":2014,"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/corr/KnappMRG14","bibdata":{"title":"An Institution for Simple UML State Machines","author":["Alexander Knapp","Till Mossakowski","Markus Roggenbach","Martin Glauer"],"author_short":["Knapp, A.","Mossakowski, T.","Roggenbach, M.","Glauer, M."],"bibtype":"article","type":"article","year":"2014","key":"dblp2062473","id":"dblp2062473","biburl":"http://www.dblp.org/rec/bibtex/journals/corr/KnappMRG14","url":"http://arxiv.org/abs/1411.4495","journal":"CoRR","volume":"abs/1411.4495","text":"CoRR abs/1411.4495 (2014)","bibtex":"@article{ dblp2062473,\n title = {An Institution for Simple UML State Machines},\n author = {Alexander Knapp and Till Mossakowski and Markus Roggenbach and Martin Glauer},\n author_short = {Knapp, A. and Mossakowski, T. and Roggenbach, M. and Glauer, M.},\n bibtype = {article},\n type = {article},\n year = {2014},\n key = {dblp2062473},\n id = {dblp2062473},\n biburl = {http://www.dblp.org/rec/bibtex/journals/corr/KnappMRG14},\n url = {http://arxiv.org/abs/1411.4495},\n journal = {CoRR},\n volume = {abs/1411.4495},\n text = {CoRR abs/1411.4495 (2014)}\n}","bibbaseid":"knapp-mossakowski-roggenbach-glauer-aninstitutionforsimpleumlstatemachines-2014","role":"author","urls":{"Paper":"http://arxiv.org/abs/1411.4495"},"downloads":0},"search_terms":["institution","simple","uml","state","machines","knapp","mossakowski","roggenbach","glauer"],"keywords":[],"authorIDs":[],"dataSources":["5q9CHm3KNpkt7TeGo"]}