@string{ieee="IEEE"}
@InProceedings{CKP14,
  author = {B. Cook and H. Khlaaf and N. Piterman},
  title =        {Faster Temporal Reasoning for Infinite-State Programs},
  booktitle = {14th conference on Formal Methods in Computer-Aided Design},
  pages = {75--82},
  year = {2014},
  address = {Lausanne, Switzerland},
  publisher = ieee,
  keywords = {Model Checking},
  pdf = {2014/CKP14.pdf},
}