Model Checking Freeze LTL over One-Counter Automata.

Stphane Demri, Ranko Lazic, Arnaud Sangnier

Browse the full FOSSACS paper archive.