Finite automata with time-delay blocks (bibtex)
by Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu
Reference:
Finite automata with time-delay blocksKrishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. PrabhuEMSOFT, pages 43-52, 2012.
Bibtex Entry:
@inproceedings{CHP12,
title = {Finite automata with time-delay blocks},
booktitle = {EMSOFT},
author = {Krishnendu Chatterjee and Thomas A. Henzinger and Vinayak S. Prabhu},
year = {2012},
pages = {43-52},
}
Powered by bibtexbrowser