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]
@article{HansenKLMP10, title = {Towards model checking executable UML specifications in mCRL2}, author = {Helle Hvid Hansen and Jeroen Ketema and Bas Luttik and Mohammad Reza Mousavi and Jaco van de Pol}, year = {2010}, doi = {10.1007/s11334-009-0116-1}, url = {http://dx.doi.org/10.1007/s11334-009-0116-1}, tags = {model checking, meta-model, UML, Meta-Environment}, researchr = {https://researchr.org/publication/HansenKLMP10}, cites = {0}, citedby = {0}, journal = {ISSE}, volume = {6}, number = {1-2}, pages = {83-90}, }