@InProceedings{BarrettBerezin04,
  author =       {Clark Barrett and Sergey Berezin},
  title =        {{CVC} {L}ite: A New Implementation of the Cooperating Validity
 Checker},
  crossref =     {CAV2004},
  OPTpages =     {},

}

@proceedings{CAV2004,
  editor    = {Rajeev Alur and Doron A. Peled},
  title     = {Computer Aided Verification, 16th International Conference, CAV
               2004, Boston, Massachusetts, USA, July 13-17, 2004, Proceedings},
  booktitle = {CAV},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  OPTvolume    = {},
  year      = {2004},
  OPTisbn      = {},
}