From UML to Process Algebra and Back: An Automated Approach to Model-Checking Software Design Artifacts of Concurrent Systems

D. Remenska, H.E. Bal, J.A. Templon, K. Verstoep, T. Willemse, P.C. Homburg, A. Casajus

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publication5th NASA Formal Methods Symposium (NFM) 2013
Publication statusPublished - 2013

Cite this

Remenska, D., Bal, H. E., Templon, J. A., Verstoep, K., Willemse, T., Homburg, P. C., & Casajus, A. (2013). From UML to Process Algebra and Back: An Automated Approach to Model-Checking Software Design Artifacts of Concurrent Systems. In 5th NASA Formal Methods Symposium (NFM) 2013
Remenska, D. ; Bal, H.E. ; Templon, J.A. ; Verstoep, K. ; Willemse, T. ; Homburg, P.C. ; Casajus, A. / From UML to Process Algebra and Back: An Automated Approach to Model-Checking Software Design Artifacts of Concurrent Systems. 5th NASA Formal Methods Symposium (NFM) 2013. 2013.
@inproceedings{2f62293ef672429ebb9c44a215c8b932,
title = "From UML to Process Algebra and Back: An Automated Approach to Model-Checking Software Design Artifacts of Concurrent Systems",
author = "D. Remenska and H.E. Bal and J.A. Templon and K. Verstoep and T. Willemse and P.C. Homburg and A. Casajus",
year = "2013",
language = "English",
booktitle = "5th NASA Formal Methods Symposium (NFM) 2013",

}

Remenska, D, Bal, HE, Templon, JA, Verstoep, K, Willemse, T, Homburg, PC & Casajus, A 2013, From UML to Process Algebra and Back: An Automated Approach to Model-Checking Software Design Artifacts of Concurrent Systems. in 5th NASA Formal Methods Symposium (NFM) 2013.

From UML to Process Algebra and Back: An Automated Approach to Model-Checking Software Design Artifacts of Concurrent Systems. / Remenska, D.; Bal, H.E.; Templon, J.A.; Verstoep, K.; Willemse, T.; Homburg, P.C.; Casajus, A.

5th NASA Formal Methods Symposium (NFM) 2013. 2013.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

TY - GEN

T1 - From UML to Process Algebra and Back: An Automated Approach to Model-Checking Software Design Artifacts of Concurrent Systems

AU - Remenska, D.

AU - Bal, H.E.

AU - Templon, J.A.

AU - Verstoep, K.

AU - Willemse, T.

AU - Homburg, P.C.

AU - Casajus, A.

PY - 2013

Y1 - 2013

M3 - Conference contribution

BT - 5th NASA Formal Methods Symposium (NFM) 2013

ER -

Remenska D, Bal HE, Templon JA, Verstoep K, Willemse T, Homburg PC et al. From UML to Process Algebra and Back: An Automated Approach to Model-Checking Software Design Artifacts of Concurrent Systems. In 5th NASA Formal Methods Symposium (NFM) 2013. 2013