Assume-Guarantee Abstraction Refinement for Probabilistic SystemsOpen Website

Anvesh Komuravelli, Corina S. Pasareanu, Edmund M. Clarke

2012 (modified: 24 Apr 2023)CAV 2012Readers: Everyone
0 Replies