DMCA

On Presburger Liveness of Discrete Timed Automata (2001)

by Zhe Dang , Pierluigi San Pietro , Richard A. Kemmerer
Venue:STACS'01, LNCS 2010
Citations:13 - 12 self