Monitoring of real-time properties (2006)

by Andreas Bauer, Martin Leucker, Christian Schallhart
Venue:In Proceedings of the 26th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS), volume 4337 of LNCS