Towards model checking executable UML specifications in mCRL2

H.H. Hansen, J. Ketema, M.R. Mousavi, B. Luttik, J.C. van de Pol

Research output: Contribution to JournalArticleAcademicpeer-review

162 Downloads (Pure)
Original languageEnglish
Pages (from-to)83-90
JournalInnovations in Systems and Software Engineering
Volume6
Issue number1-2
DOIs
Publication statusPublished - 2011

Cite this