On-the-Fly Confluence Detection for Statistical Model Checking

TitleOn-the-Fly Confluence Detection for Statistical Model Checking
Publication TypeConference Paper
Year of Publication2013
AuthorsHartmanns, A, Timmer, M
EditorBrat, G, Rungta, N, Venet, A
Conference NameNASA Formal Methods, 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
PublisherSpringer
Work Package: 
WP1