Abstraction Refinement for Probabilistic Software
M. Kattenbelt, M. Kwiatkowska, G. Norman and D. Parker infobook 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
BibTeX
Link (pdf)
related pages
|
