K
[KHM+94] Arjun Kapur, Thomas A. Henzinger, Zohar Manna, and Amir Pnueli. Proving Safety Properties of Hybrid Systems. In FTRTFT'94, Lecture Notes in Computer Science 863, pages 431-454. Springer-Verlag, September 1994. 
@inproceedings{ftrtft1994-KHMP,
  author =              {Kapur, Arjun and Henzinger, Thomas A. and Manna,
                         Zohar and Pnueli, Amir},
  title =               {Proving Safety Properties of Hybrid Systems},
  editor =              {Langmaack, Hans and de Roever, Willem-Paul and
                         Vytopil, Jan},
  booktitle =           {{P}roceedings of the 3rd {F}ormal {T}echniques in
                         {R}eal-Time and {F}ault-Tolerant {S}ystems
                         ({FTRTFT}'94)},
  acronym =             {{FTRTFT}'94},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {863},
  pages =               {431-454},
  year =                {1994},
  month =               sep,
}
List of authors