![](/img/cover-not-exists.png)
Formalizing non-concurrent UML state machines using colored petri nets
André, Étienne, Choppy, Christine, Klai, KaisVolume:
37
Language:
english
Journal:
ACM SIGSOFT Software Engineering Notes
DOI:
10.1145/2237796.2237819
Date:
July, 2012
File:
PDF, 891 KB
english, 2012