TY  - RPRT
TI  - The Timestamp of Timed Automata
AU  - Amnon Rosenmann
PY  - 2019
UR  - https://arxiv.org/abs/1412.5669
ID  - 1412.5669
ER  -