Diese Seite auf deutsch
SearchInteractive Verification of UML State Machines
Michael Balser, Simon Bäumler, Alexander Knapp, Wolfgang Reif, Andreas Thums
In: Jim Davies, Wolfram Schulte, Mike Barnett (Hgg.). Proc. 6th Int. Conf. Formal Engineering Methods (ICFEM'04). Lect. Notes Comp. Sci. 3308, Springer, Berlin, 2004. S. 434-448.