Variable Probabilistic Abstraction Refinement

TitleVariable Probabilistic Abstraction Refinement
Publication TypeConference Paper
Year of Publication2012
AuthorsFerrer Fioriti, LM, Hahn, EM, Hermanns, H, Wachter, B
Conference NameAutomated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings
PublisherSpringer
ISBN Number978-3-642-33385-9
DOI10.1007/978-3-642-33386-6_24
Work Package: 
WP1