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
Citations:55 - 15 self