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]
Abstract is missing.