[DSK01] Zhe Dang, Pierluigi San Pietro, and Richard A. Kemmerer. On Presburger Liveness of Discrete Timed Automata. In STACS'01, Lecture Notes in Computer Science 2010, pages 132-143. Springer-Verlag, February 2001.
  author =              {Dang, Zhe and San{~}Pietro, Pierluigi and Kemmerer,
                         Richard A.},
  title =               {On {P}resburger Liveness of Discrete Timed Automata},
  editor =              {Ferreira, Afonso and Reichel, Horst},
  booktitle =           {{P}roceedings of the 18th {S}ymposium on
                         {T}heoretical {A}spects of {C}omputer {S}cience
  acronym =             {{STACS}'01},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {2010},
  pages =               {132-143},
  year =                {2001},
  month =               feb,
List of authors