Simulating UML Statecharts (2001)

by A Cavarra, E Riccobene
Venue:Formal Methods and Tools for Computer Science (Proceedings of Eurocast 2001