Achraf Lyazidi, Salma Mouline. Formal Verification of UML State Machine Diagrams Using Petri Nets. In Mohamed Faouzi Atig, Alexander A. Schwarzmann, editors, Networked Systems - 7th International Conference, NETYS 2019, Marrakech, Morocco, June 19-21, 2019, Revised Selected Papers. Volume 11704 of Lecture Notes in Computer Science, pages 67-74, Springer, 2019. [doi]
Abstract is missing.