TY  - RPRT
TI  - Spatio-temporal Models for Formal Analysis and Property-based Testing
AU  - Nasser Alzahrani
AU  - Maria Spichkova
AU  - Jan Olaf Blech
PY  - 2016
UR  - https://arxiv.org/abs/1612.01686
ID  - 1612.01686
ER  -