"On the Verification of UML State Machine Diagrams to Colored Petri Nets ..."

Said Meghzili et al. (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics