Abstraction Refinement for Probabilistic Software
G. Norman M. Kattenbelt M. Kwiatkowska and D. Parker
Details
| 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 |
Links
Related pages
|
People |