Login / Signup

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

Cindy EisnerDana Fisman
Published in: FMCAD (2008)
Keyphrases