This page in English
SucheModel Checking and Code Generation for UML State Machines and Collaborations
Alexander Knapp, Stephan Merz
In: Dominik Haneberg, Gerhard Schellhorn, Wolfgang Reif (Hgg.). Proc. 5th Wsh. Tools for System Design and Verification. Technischer Bericht 2002-11, Institut für Informatik, Universität Augsburg, 2002. S. 59-64.