Modeling State Diagrams with And-Cross Transitions

Opeyemi Adesina, Stéphane S. Somé, Timothy Lethbridge. Modeling State Diagrams with And-Cross Transitions. In Michalis Famelis, Daniel Ratiu, Gehan M. K. Selim, editors, Proceedings of the 13th Workshop on Model-Driven Engineering, Verification and Validation co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), Saint-Malo, France, October 3, 2016. Volume 1713 of CEUR Workshop Proceedings, pages 46-53, CEUR-WS.org, 2016. [doi]

@inproceedings{AdesinaSL16,
  title = {Modeling State Diagrams with And-Cross Transitions},
  author = {Opeyemi Adesina and Stéphane S. Somé and Timothy Lethbridge},
  year = {2016},
  url = {http://ceur-ws.org/Vol-1713/MoDeVVa_2016_paper_6.pdf},
  researchr = {https://researchr.org/publication/AdesinaSL16},
  cites = {0},
  citedby = {0},
  pages = {46-53},
  booktitle = {Proceedings of the 13th Workshop on Model-Driven Engineering, Verification and Validation co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), Saint-Malo, France, October 3, 2016},
  editor = {Michalis Famelis and Daniel Ratiu and Gehan M. K. Selim},
  volume = {1713},
  series = {CEUR Workshop Proceedings},
  publisher = {CEUR-WS.org},
}