TY  - RPRT
TI  - T2: Temporal Property Verification
AU  - Marc Brockschmidt
AU  - Byron Cook
AU  - Samin Ishtiaq
AU  - Heidy Khlaaf
AU  - Nir Piterman
PY  - 2016
UR  - https://arxiv.org/abs/1512.08689
ID  - 1512.08689
ER  -