Model Checking UML State Machines and Collaborations

Timm Schäfer, Alexander Knapp, Stephan Merz

In: Scott D. Stoller, Willem Visser (Hg.). Proc. Wsh. Software Model Checking. Electr. Notes Theo. Comp. Sci. 55(3) , 2001.