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

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	5th NASA Formal Methods Symposium (NFM) 2013
Publication status	Published - 2013

Persistent URL (handle)

@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",

}