P
[Pur98] Anuj Puri. Dynamical Properties of Timed Automata. In FTRTFT'98, Lecture Notes in Computer Science 1486, pages 210-227. Springer-Verlag, septembre 1998. 
@inproceedings{ftrtft1998-Pur,
  author =              {Puri, Anuj},
  title =               {Dynamical Properties of Timed Automata},
  editor =              {Ravn, Anders P. and Rischel, Hans},
  booktitle =           {{P}roceedings of the 5th {F}ormal {T}echniques in
                         {R}eal-Time and {F}ault-Tolerant {S}ystems
                         ({FTRTFT}'98)},
  acronym =             {{FTRTFT}'98},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {1486},
  pages =               {210-227},
  year =                {1998},
  month =               sep,
}
Liste des auteurs