TY  - RPRT
TI  - A Perfect Model for Bounded Verification
AU  - Javier Esparza
AU  - Pierre Ganty
AU  - Rupak Majumdar
PY  - 2012
DO  - 10.1109/lics.2012.39
UR  - https://arxiv.org/abs/1201.3194
ID  - 1201.3194
ER  -