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