TY  - RPRT
TI  - Temporal Reasoning Through Automatic Translation of tock-CSP into Timed Automata
AU  - Abdulrazaq Abba
AU  - Ana Cavalcanti
AU  - Jeremy Jacob
PY  - 2021
UR  - https://arxiv.org/abs/2104.13434
ID  - 2104.13434
ER  -