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]
No references recorded for this publication.
No citations of this publication recorded.