Model Checking and Code Generation for UML State Machines and Collaborations

Alexander Knapp, Stephan Merz
Abstract
Available as: PDF
See also: Hugo project
Reference
@InProceedings{knapp:hugo-fmt02,
  author =    {Alexander Knapp and Stephan Merz},
  title =     {Model Checking and Code Generation for 
               UML State Machines and Collaborations},
  booktitle = {FM-TOOLS 2002: 5th Workshop on Tools 
               for System Design and Verification},
  year =      2002,
  editor =    {G. Schellhorn and W. Reif},
  address =   {Reisensburg, Germany},
  series =    {Report 2002-11},
  month =     jul,
  publisher = {Institut f{\"u}r Informatik,
               Universit{\"a}t Augsburg}
}

Stephan Merz