TY  - RPRT
TI  - Proceedings of the The First Workshop on Verification and Validation of Cyber-Physical Systems
AU  - Mehdi Kargahi
AU  - Ashutosh Trivedi
PY  - 2016
DO  - 10.4204/eptcs.232
UR  - https://arxiv.org/abs/1612.04023
ID  - 1612.04023
ER  -