Generating optimal monitors for extended regular expressions (2003)

Cached

Download Links

by Koushik Sen
Venue:In Proc. of the 3rd Workshop on Runtime Verification (RV’03), volume 89 of ENTCS
Citations:17 - 7 self