Interactive verification of UML state machines (0)

by M Balser, S Baumler, A Knapp, W Reif, A Thums
Venue:In ICFEM 2004 (LNCS 3308