Generating Optimal Monitors for Extended Regular Expressions (2003)

by K Sen, G Rosu
Venue:Proc. Runtime Verification 2003, Elsevier ENTCS 89