T
[TAK+96] Serdar Taşiran, Rajeev Alur, Robert P. Kurshan, and Robert K. Brayton. Verifying Abstractions of Timed Systems. In CONCUR'96, Lecture Notes in Computer Science 1119, pages 546-562. Springer-Verlag, August 1996. 
@inproceedings{concur1996-TAKB,
  author =              {Ta{\c s}iran, Serdar and Alur, Rajeev and Kurshan,
                         Robert P. and Brayton, Robert K.},
  title =               {Verifying Abstractions of Timed Systems},
  editor =              {Montanari, Ugo and Sassone, Vladimiro},
  booktitle =           {{P}roceedings of the 7th {I}nternational
                         {C}onference on {C}oncurrency {T}heory
                         ({CONCUR}'96)},
  acronym =             {{CONCUR}'96},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {1119},
  pages =               {546-562},
  year =                {1996},
  month =               aug,
}
List of authors