DMCA

Abstraction refinement for probabilistic software (2009)

by Mark Kattenbelt , Marta Kwiatkowska , Gethin Norman , David Parker
Venue:Proc. 10th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI’09), volume 5403 of LNCS
Citations:23 - 7 self