Janardan Misra. A Framework for Specification and Verification of Timeout Models of Real-Time Systems. In Srinivas Aluru, Sanghamitra Bandyopadhyay, Ümit V. Çatalyürek, Devdatt P. Dubhashi, Phillip H. Jones, Manish Parashar, Bertil Schmidt, editors, Contemporary Computing - 4th International Conference, IC3 2011, Noida, India, August 8-10, 2011. Proceedings. Volume 168 of Communications in Computer and Information Science, pages 146-157, Springer, 2011. [doi]
@inproceedings{Misra11-2,
title = {A Framework for Specification and Verification of Timeout Models of Real-Time Systems},
author = {Janardan Misra},
year = {2011},
doi = {10.1007/978-3-642-22606-9_18},
url = {http://dx.doi.org/10.1007/978-3-642-22606-9_18},
researchr = {https://researchr.org/publication/Misra11-2},
cites = {0},
citedby = {0},
pages = {146-157},
booktitle = {Contemporary Computing - 4th International Conference, IC3 2011, Noida, India, August 8-10, 2011. Proceedings},
editor = {Srinivas Aluru and Sanghamitra Bandyopadhyay and Ümit V. Çatalyürek and Devdatt P. Dubhashi and Phillip H. Jones and Manish Parashar and Bertil Schmidt},
volume = {168},
series = {Communications in Computer and Information Science},
publisher = {Springer},
isbn = {978-3-642-22605-2},
}