TY  - RPRT
TI  - Finite Automata with Time-Delay Blocks (Extended Version)
AU  - Krishnendu Chatterjee
AU  - Thomas A. Henzinger
AU  - Vinayak S. Prabhu
PY  - 2012
UR  - https://arxiv.org/abs/1207.7019
ID  - 1207.7019
ER  -