An Institution for Simple UML State Machines. Knapp, A., Mossakowski, T., Roggenbach, M., & Glauer, M. CoRR, 2014.
An Institution for Simple UML State Machines [link]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