George Logothetis, Klaus Schneider, C. Metzler. Runtime Analysis of Synchronous Programs for Low-Level Real-Time Verification. In Proceedings of the 16th Annual Symposium on Integrated Circuits and Systems Design, SBCCI 2003, Sao Paulo, Brazil, September 8-11, 2003. pages 211-216, IEEE Computer Society, 2003. [doi]
@inproceedings{LogothetisSM03:0,
title = {Runtime Analysis of Synchronous Programs for Low-Level Real-Time Verification},
author = {George Logothetis and Klaus Schneider and C. Metzler},
year = {2003},
doi = {10.1109/SBCCI.2003.1232831},
url = {http://dx.doi.org/10.1109/SBCCI.2003.1232831},
tags = {program analysis, program verification, analysis, C++},
researchr = {https://researchr.org/publication/LogothetisSM03%3A0},
cites = {0},
citedby = {0},
pages = {211-216},
booktitle = {Proceedings of the 16th Annual Symposium on Integrated Circuits and Systems Design, SBCCI 2003, Sao Paulo, Brazil, September 8-11, 2003},
publisher = {IEEE Computer Society},
isbn = {0-7695-2009-X},
}