M.: Foundations for the run-time monitoring of reactive systems—fundamentals of the MaC language (2004)

by M Viswanathan, Kim
Venue:ICTAC. Lecture Notes in Computer Science