TY  - RPRT
TI  - The One Page Model Checker
AU  - Jason E. Holt
PY  - 2005
UR  - https://arxiv.org/abs/cs/0506084
ID  - cs/0506084
ER  -