K
[KV99] Orna Kupferman and Moshe Y. Vardi. Model Checking of Safety Properties. In CAV'99, Lecture Notes in Computer Science 1633, pages 172-183. Springer-Verlag, July 1999. 
@inproceedings{cav1999-KV,
  author =              {Kupferman, Orna and Vardi, Moshe Y.},
  title =               {Model Checking of Safety Properties},
  editor =              {Halbwachs, Nicolas and Peled, Doron A.},
  booktitle =           {{P}roceedings of the 11th {I}nternational
                         {C}onference on {C}omputer {A}ided {V}erification
                         ({CAV}'99)},
  acronym =             {{CAV}'99},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {1633},
  pages =               {172-183},
  year =                {1999},
  month =               jul,
}
List of authors