LTL over integer periodicity constraints, in (2004)

by S Demri
Venue:Foundations of Software Science and Computation Structures