An Institution for Simple UML State Machines. Knapp, A., Mossakowski, T., Roggenbach, M., & Glauer, M. CoRR, 2014.
Paper bibtex @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)}
}
Downloads: 0
{"_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"]}