Modeling the Meaning of Transitions from and to Concurrent States in UML State Machines

Bibliographic Details
Main Authors: Börger, E, Riccobene, E, Cavarra, A
Format: Conference item
Published: ACM 2003