TY  - RPRT
TI  - An Introduction to Time-Constrained Automata
AU  - Matthieu Lemerre
AU  - Vincent David
AU  - Christophe Aussaguès
AU  - Guy Vidal-Naquet
PY  - 2010
DO  - 10.4204/eptcs.38.9
UR  - https://arxiv.org/abs/1010.5571
ID  - 1010.5571
ER  -