DMCA

LTL over integer periodicity constraints (2004)

Cached

Download Links

by Stéphane Demri
Venue:Proceedings of the 7th International Conference on Foundations of Software Science and Computation Structures (FOSSACS), volume 2987 of LNCS
Citations:12 - 4 self