When Model-Checking Freeze LTL over Counter Machines Becomes Decidable.

Stphane Demri, Arnaud Sangnier

Browse the full FOSSACS paper archive.