ASERE: Assuring the Satisfiability of Sequential Extended Regular Expressions.

Naiyong Jin, Huibiao Zhu

Browse the full ISoLA paper archive.