%0 Conference Paper %1 conf/fmcad/CookKP14 %A Cook, Byron %A Khlaaf, Heidy %A Piterman, Nir %B FMCAD %D 2014 %I IEEE %K dblp %P 75-82 %T Faster temporal reasoning for infinite-state programs. %U http://dblp.uni-trier.de/db/conf/fmcad/fmcad2014.html#CookKP14 %@ 978-0-9835678-4-4

@inproceedings{conf/fmcad/CookKP14, added-at = {2015-01-08T00:00:00.000+0100}, author = {Cook, Byron and Khlaaf, Heidy and Piterman, Nir}, biburl = {https://www.bibsonomy.org/bibtex/2083734a4066f18b49fbe189b39851cce/dblp}, booktitle = {FMCAD}, crossref = {conf/fmcad/2014}, ee = {http://dx.doi.org/10.1109/FMCAD.2014.6987598}, interhash = {046de8a8ffc168447125c0b25865a6c7}, intrahash = {083734a4066f18b49fbe189b39851cce}, isbn = {978-0-9835678-4-4}, keywords = {dblp}, pages = {75-82}, publisher = {IEEE}, timestamp = {2015-06-18T18:48:55.000+0200}, title = {Faster temporal reasoning for infinite-state programs.}, url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2014.html#CookKP14}, year = 2014 }