Taming Past LTL and Flat Counter Systems.

Stphane Demri, Amit Kumar Dhar, Arnaud Sangnier

Browse the full CADE paper archive.