Augmenting a Regular Expression-Based Temporal Logic with Local Variables.

Cindy Eisner, Dana Fisman

Browse the full FMCAD paper archive.