S. Chakraverty, C. P. Ravikumar
A Stochastic Framework for Co-synthesis of Real-Time Systems
LCTES, 2000.
@inproceedings{LCTES-2000-ChakravertyR,
author = "S. Chakraverty and C. P. Ravikumar",
booktitle = "{Proceedings of the Workshop on Languages, Compilers, and Tools for Embedded Systems}",
doi = "10.1007/3-540-45245-1_7",
isbn = "3-540-41781-8",
pages = "96--113",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{A Stochastic Framework for Co-synthesis of Real-Time Systems}",
volume = 1985,
year = 2000,
}