Deian Tabakov, Moshe Y. Vardi. Optimized temporal monitors for SystemC. In Howard Barringer, Yliès Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon J. Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann, editors, Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings. Volume 6418 of Lecture Notes in Computer Science, pages 436-451, Springer, 2010. [doi]
@inproceedings{TabakovV10-0,
title = {Optimized temporal monitors for SystemC},
author = {Deian Tabakov and Moshe Y. Vardi},
year = {2010},
doi = {10.1007/978-3-642-16612-9_33},
url = {http://dx.doi.org/10.1007/978-3-642-16612-9_33},
researchr = {https://researchr.org/publication/TabakovV10-0},
cites = {0},
citedby = {0},
pages = {436-451},
booktitle = {Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings},
editor = {Howard Barringer and Yliès Falcone and Bernd Finkbeiner and Klaus Havelund and Insup Lee and Gordon J. Pace and Grigore Rosu and Oleg Sokolsky and Nikolai Tillmann},
volume = {6418},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-16611-2},
}