DMCA

LTL with the freeze quantifier and register automata (2006)

by Stéphane Demri
Venue:In LICS’06
Citations:75 - 7 self