TY  - RPRT
TI  - New Challenges in Model Checking
AU  - Holzmann, Gerard J.
AU  - Joshi, Rajeev
AU  - Groce, Alex
PY  - 2006
UR  - https://ntrs.nasa.gov/citations/20070017961
ID  - 20070017961
ER  -