mctau: Bridging the Gap between Modest and UPPAAL
| Title | mctau: Bridging the Gap between Modest and UPPAAL |
| Publication Type | Conference Paper |
| Year of Publication | 2012 |
| Authors | Bogdoll, J, David, A, Hartmanns, A, Hermanns, H |
| Conference Name | Model Checking Software - 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings |
| Publisher | Springer |
| ISBN Number | 978-3-642-31758-3 |
| DOI | 10.1007/978-3-642-31759-0_16 |
Work Package:
WP1
