On Presburger Liveness of Discrete Timed Automata.

Zhe Dang, Pierluigi San Pietro, Richard A. Kemmerer

Browse the full STACS paper archive.