Interactive verification of uml state machines (0)

by S Bäumler, M Balser, A Knapp, W Reif, A Thums
Venue:in: Formal Methods and Software Engineering