On-the-Fly Confluence Detection for Statistical Model Checking
| Title | On-the-Fly Confluence Detection for Statistical Model Checking |
| Publication Type | Conference Paper |
| Year of Publication | 2013 |
| Authors | Hartmanns, A, Timmer, M |
| Editor | Brat, G, Rungta, N, Venet, A |
| Conference Name | NASA Formal Methods, 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings |
| Publisher | Springer |
Work Package:
WP1
