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