Variable Probabilistic Abstraction Refinement
| Title | Variable Probabilistic Abstraction Refinement |
| Publication Type | Conference Paper |
| Year of Publication | 2012 |
| Authors | Ferrer Fioriti, LM, Hahn, EM, Hermanns, H, Wachter, B |
| Conference Name | Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings |
| Publisher | Springer |
| ISBN Number | 978-3-642-33385-9 |
| DOI | 10.1007/978-3-642-33386-6_24 |
Work Package:
WP1
