Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems (bibtex)
by Krishnendu Chatterjee, Vinayak S. Prabhu
Reference:
Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systemsKrishnendu Chatterjee, Vinayak S. PrabhuInf. Comput., volume 228, pages 83-119, 2013.
Bibtex Entry:
@article{CP13b,
title = {Synthesis of memory-efficient, clock-memory free, and non-Zeno safety
controllers for timed systems},
ee = {http://dx.doi.org/10.1016/j.ic.2013.04.003},
journal = {Inf. Comput.},
author = {Krishnendu Chatterjee and Vinayak S. Prabhu},
volume = {228},
year = {2013},
bibsource = {DBLP, http://dblp.uni-trier.de},
pages = {83-119},
}
Powered by bibtexbrowser