@string{springer="© Springer-Verlag"}
@string{lncs="<A HREF=http://www.springer.de/comp/lncs/index.html>Lecture Notes in Computer Science</A>"}
@InProceedings{CKP15b,
  author =       {B. Cook and H. Khlaaf and N. Piterman},
  title = 	 {On Automation of CTL* Verification for Infinite-State Systems},
  booktitle = {27th International Conference on Computer Aided Verification},
  OPTpages = 	 {},
  year = 	 {2015},
  publisher = springer,
  series = lncs,
  volume = 	 {9206},
  OPTpdf = 	 {},
  OPTurl = 	 {},
  keywords = {Model Checking,Temporal Logic},
}