Quantitative timed simulation functions and refinement metrics for real-time systems (bibtex)
by Krishnendu Chatterjee, Vinayak S. Prabhu
Reference:
Quantitative timed simulation functions and refinement metrics for real-time systemsKrishnendu Chatterjee, Vinayak S. PrabhuProceedings of the 16th international conference on Hybrid systems: computation and control (HSCC 2013), pages 273-282, 2013, ACM.
Bibtex Entry:
@inproceedings{CP13,
publisher = {ACM},
isbn = {978-1-4503-1567-8},
title = {Quantitative timed simulation functions and refinement metrics for
real-time systems},
ee = {http://doi.acm.org/10.1145/2461328.2461370},
booktitle = {Proceedings of the 16th international conference on Hybrid systems:
computation and control (HSCC 2013)},
author = {Krishnendu Chatterjee and Vinayak S. Prabhu},
url = {http://arxiv.org/abs/1212.6556},
year = {2013},
bibsource = {DBLP, http://dblp.uni-trier.de},
pages = {273-282},
}
Powered by bibtexbrowser