K
[KPR98] Yonit Kesten, Amir Pnueli, and Li-on Raviv. Algorithmic Verification of Linear Temporal Logic Specifications. In ICALP'98, Lecture Notes in Computer Science 1443, pages 1-16. Springer-Verlag, July 1998. 
@inproceedings{icalp1998-KPR,
  author =              {Kesten, Yonit and Pnueli, Amir and Raviv, Li-on},
  title =               {Algorithmic Verification of Linear Temporal Logic
                         Specifications},
  editor =              {Larsen, Kim Guldstrand and Skyum, Sven and Winskel,
                         Glynn},
  booktitle =           {{P}roceedings of the 25th {I}nternational
                         {C}olloquium on {A}utomata, {L}anguages and
                         {P}rogramming ({ICALP}'98)},
  acronym =             {{ICALP}'98},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {1443},
  pages =               {1-16},
  year =                {1998},
  month =               jul,
}
List of authors