2012b. Algorithms for monitoring real-time properties (0)

by D Basin, F Klaedtke, E Zălinescu
Venue:In Proceedings of the 2nd International Conference on Runtime Verification. Lect. Notes Comput. Sci. Series