Model Checking of UML 2.0 Interactions

Alexander Knapp, Jochen Wuttke

In: Thomas Kühne (Hg.). Wsh.s and Symp. MoDELS'06, Reports and Revised Sel. Papers. Lect. Notes Comp. Sci. 4364, Springer, Berlin, 2007. S. 42-51.