%0 Conference Paper %1 conf/cav/CookKP15 %A Cook, Byron %A Khlaaf, Heidy %A Piterman, Nir %B CAV (1) %D 2015 %E Kroening, Daniel %E Pasareanu, Corina S. %I Springer %K dblp %P 13-29 %T On Automation of CTL* Verification for Infinite-State Systems. %U http://dblp.uni-trier.de/db/conf/cav/cav2015-1.html#CookKP15 %V 9206 %@ 978-3-319-21689-8

@inproceedings{conf/cav/CookKP15, added-at = {2019-08-20T00:00:00.000+0200}, author = {Cook, Byron and Khlaaf, Heidy and Piterman, Nir}, biburl = {https://www.bibsonomy.org/bibtex/261ed3f8c00d750a1bafbe862a49b1154/dblp}, booktitle = {CAV (1)}, crossref = {conf/cav/2015-1}, editor = {Kroening, Daniel and Pasareanu, Corina S.}, ee = {https://doi.org/10.1007/978-3-319-21690-4_2}, interhash = {2004fc44f2b374e4177f98d4d47cc9e1}, intrahash = {61ed3f8c00d750a1bafbe862a49b1154}, isbn = {978-3-319-21689-8}, keywords = {dblp}, pages = {13-29}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-08-21T11:56:39.000+0200}, title = {On Automation of CTL* Verification for Infinite-State Systems.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2015-1.html#CookKP15}, volume = 9206, year = 2015 }