TY  - RPRT
TI  - Bounded Model Checking of Temporal Formulas with Alloy
AU  - Alcino Cunha
PY  - 2015
DO  - 10.1007/978-3-662-43652-3_29
UR  - https://arxiv.org/abs/1207.2746
ID  - 1207.2746
ER  -