Synthesis of memory-efficient "real-time" controllers for safety objectives (bibtex)
by Krishnendu Chatterjee, Vinayak S. Prabhu
Reference:
Synthesis of memory-efficient "real-time" controllers for safety objectivesKrishnendu Chatterjee, Vinayak S. PrabhuHSCC, pages 221-230, 2011.
Bibtex Entry:
@inproceedings{CP11,
title = {Synthesis of memory-efficient "real-time" controllers for safety
objectives},
ee = {http://doi.acm.org/10.1145/1967701.1967734},
booktitle = {HSCC},
author = {Krishnendu Chatterjee and Vinayak S. Prabhu},
url = {http://arxiv.org/abs/1101.5842},
year = {2011},
bibsource = {DBLP, http://dblp.uni-trier.de},
pages = {221-230},
crossref = {DBLP:conf/hybrid/2011},
}
Powered by bibtexbrowser