TY  - RPRT
TI  - Assume-Guarantee Abstraction Refinement for Probabilistic Systems
AU  - Anvesh Komuravelli
AU  - Corina S. Pasareanu
AU  - Edmund M. Clarke
PY  - 2012
DO  - 10.1007/978-3-642-31424-7_25
UR  - https://arxiv.org/abs/1207.5086
ID  - 1207.5086
ER  -