Abstraction Refinement for Probabilistic Software
G. Norman M. Kattenbelt M. Kwiatkowska and D. Parker
Book Title
Proc. 10th International Conference on Verification‚ Model Checking‚ and Abstract Interpretation (VMCAI ‘09)
Month
January
Publisher
Springer
Series
Lecture Notes in Computer Science
Year
2009