Generating Optimal Monitors for Extended Regular Expressions (2003)

by K Sen, G Rosu
Venue:In Proceedings of the 3rd International Workshop on Runtime Verification (RV’03) [1