T
[Tri99] Stavros Tripakis. Timed Diagnostics for Reachability Properties. In TACAS'99, Lecture Notes in Computer Science 1579, pages 59-73. Springer-Verlag, March 1999. 
@inproceedings{tacas1999-Tri,
  author =              {Tripakis, Stavros},
  title =               {Timed Diagnostics for Reachability Properties},
  editor =              {Cleaveland, Rance},
  booktitle =           {{P}roceedings of the 5th {I}nternational
                         {C}onference on {T}ools and {A}lgorithms for
                         {C}onstruction and {A}nalysis of {S}ystems
                         ({TACAS}'99)},
  acronym =             {{TACAS}'99},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {1579},
  pages =               {59-73},
  year =                {1999},
  month =               mar,
}
List of authors