TY  - RPRT
TI  - Bounded Determinization of Timed Automata with Silent Transitions
AU  - Florian Lorber
AU  - Amnon Rosenmann
AU  - Dejan Nickovic
AU  - Bernhard Aichernig
PY  - 2015
UR  - https://arxiv.org/abs/1508.03575
ID  - 1508.03575
ER  -