L.: Probabilistic CEGAR (2008)

by H Hermanns, B Wachter, Zhang
Venue:Proc. 20th Int. Conf. Computer Aided Verification (CAV’08), Lecture Notes in Computer Science