TY  - RPRT
TI  - Conditional Model Checking
AU  - Dirk Beyer
AU  - Thomas A. Henzinger
AU  - M. Erkan Keremoglu
AU  - Philipp Wendler
PY  - 2011
UR  - https://arxiv.org/abs/1109.6926
ID  - 1109.6926
ER  -