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 Journal › Article › Academic › peer-review

152 Downloads (Pure)

Original language	English
Pages (from-to)	83-90
Journal	Innovations in Systems and Software Engineering
Volume	6
Issue number	1-2
DOIs	https://doi.org/10.1007/s11334-009-0116-1
Publication status	Published - 2011

Access to Document

@article{0b12e42252e042c98bf3eae2a57ba405,

title = "Towards model checking executable UML specifications in mCRL2",

author = "H.H. Hansen and J. Ketema and M.R. Mousavi and B. Luttik and {van de Pol}, J.C.",

year = "2011",

doi = "10.1007/s11334-009-0116-1",

language = "English",

volume = "6",

pages = "83--90",

journal = "Innovations in Systems and Software Engineering",

issn = "1614-5046",

publisher = "Springer London",

number = "1-2",

}

TY - JOUR

T1 - Towards model checking executable UML specifications in mCRL2

AU - Hansen, H.H.

AU - Ketema, J.

AU - Mousavi, M.R.

AU - Luttik, B.

AU - van de Pol, J.C.

PY - 2011

Y1 - 2011

U2 - 10.1007/s11334-009-0116-1

DO - 10.1007/s11334-009-0116-1

M3 - Article

SN - 1614-5046

VL - 6

SP - 83

EP - 90

JO - Innovations in Systems and Software Engineering

JF - Innovations in Systems and Software Engineering

IS - 1-2

ER -