TY  - RPRT
TI  - Verifying Temporal Properties of Reactive Systems by Transformation
AU  - Geoff Hamilton
PY  - 2015
DO  - 10.4204/eptcs.199.3
UR  - https://arxiv.org/abs/1512.03860
ID  - 1512.03860
ER  -