The Modest Toolset: An Integrated Environment for Quantitative Modelling and Verification
| Title | The Modest Toolset: An Integrated Environment for Quantitative Modelling and Verification |
| Publication Type | Conference Paper |
| Year of Publication | 2014 |
| Authors | Hartmanns, A, Hermanns, H |
| Conference Name | Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, {TACAS} 2014 |
| URL | http://dx.doi.org/10.1007/978-3-642-54862-8_51 |
| DOI | 10.1007/978-3-642-54862-8_51 |
Work Package:
WP1
