TY  - RPRT
TI  - Relating timed and register automata
AU  - Diego Figueira
AU  - Piotr Hofman
AU  - Sławomir Lasota
PY  - 2010
DO  - 10.1017/s0960129514000322
UR  - https://arxiv.org/abs/1011.6432
ID  - 1011.6432
ER  -