Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, Mohammad Reza Mousavi, Jaco van de Pol. Towards model checking executable UML specifications in mCRL2. ISSE, 6(1-2):83-90, 2010. [doi]
No references recorded for this publication.
No citations of this publication recorded.