"Process Algebra for Event-Driven Runtime Verification: A Case Study of ..."

Muffy Calder, Michele Sevegnani (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics