mctau: Bridging the Gap between Modest and UPPAAL

Titlemctau: Bridging the Gap between Modest and UPPAAL
Publication TypeConference Paper
Year of Publication2012
AuthorsBogdoll, J, David, A, Hartmanns, A, Hermanns, H
Conference NameModel Checking Software - 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings
PublisherSpringer
ISBN Number978-3-642-31758-3
DOI10.1007/978-3-642-31759-0_16
Work Package: 
WP1