On the Complexity of Verifying Regular Properties on Flat Counter Systems, .

Stphane Demri, Amit Kumar Dhar, Arnaud Sangnier

Browse the full ICALP paper archive.