Interactive Verification of UML State Machines.

Michael Balser, Simon Bumler, Alexander Knapp, Wolfgang Reif, Andreas Thums

Browse the full ICFEM paper archive.