Skip to main content

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