Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu. Finite automata with time-delay blocks. In Ahmed Jerraya, Luca P. Carloni, Florence Maraninchi, John Regehr, editors, Proceedings of the 12th International Conference on Embedded Software, EMSOFT 2012, part of the Eighth Embedded Systems Week, ESWeek 2012, Tampere, Finland, October 7-12, 2012. pages 43-52, ACM, 2012. [doi]
@inproceedings{ChatterjeeHP12,
title = {Finite automata with time-delay blocks},
author = {Krishnendu Chatterjee and Thomas A. Henzinger and Vinayak S. Prabhu},
year = {2012},
doi = {10.1145/2380356.2380370},
url = {http://doi.acm.org/10.1145/2380356.2380370},
researchr = {https://researchr.org/publication/ChatterjeeHP12},
cites = {0},
citedby = {0},
pages = {43-52},
booktitle = {Proceedings of the 12th International Conference on Embedded Software, EMSOFT 2012, part of the Eighth Embedded Systems Week, ESWeek 2012, Tampere, Finland, October 7-12, 2012},
editor = {Ahmed Jerraya and Luca P. Carloni and Florence Maraninchi and John Regehr},
publisher = {ACM},
isbn = {978-1-4503-1425-1},
}