MarQ: Monitoring at Runtime with QEA.

Giles Reger, Helena Cuenca Cruz, David E. Rydeheard

Browse the full TACAS paper archive.