TY  - RPRT
TI  - Avoiding Shared Clocks in Networks of Timed Automata
AU  - Sandie Balaguer
AU  - Thomas Chatain
PY  - 2013
DO  - 10.2168/lmcs-9(4:13)2013
UR  - https://arxiv.org/abs/1310.5558
ID  - 1310.5558
ER  -