Merz S.: Model Checking UML State Machines and Collaborations (2001)

by T Schäfer, A Knapp
Venue:In CAV 2001 Workshop on Software Model Checking Algebraic Methodology and Software Technology, 8th International Conference, AMAST 2000