TY  - RPRT
TI  - Revisiting local time semantics for networks of timed automata
AU  - R. Govind
AU  - Frédéric Herbreteau
AU  - B. Srivathsan
AU  - Igor Walukiewicz
PY  - 2019
UR  - https://arxiv.org/abs/1907.02296
ID  - 1907.02296
ER  -