%0 Conference Paper %1 conf/fmcad/PadonHMPSS18 %A Padon, Oded %A Hoenicke, Jochen %A McMillan, Kenneth L. %A Podelski, Andreas %A Sagiv, Mooly %A Shoham, Sharon %B FMCAD %D 2018 %E Bjørner, Nikolaj %E Gurfinkel, Arie %I IEEE %K dblp %P 1-11 %T Temporal Prophecy for Proving Temporal Properties of Infinite-State Systems. %U http://dblp.uni-trier.de/db/conf/fmcad/fmcad2018.html#PadonHMPSS18 %@ 978-0-9835678-8-2

@inproceedings{conf/fmcad/PadonHMPSS18, added-at = {2019-01-11T00:00:00.000+0100}, author = {Padon, Oded and Hoenicke, Jochen and McMillan, Kenneth L. and Podelski, Andreas and Sagiv, Mooly and Shoham, Sharon}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2a2c0ba40684609512dcf1c31a7cb9288/dblp}, booktitle = {FMCAD}, crossref = {conf/fmcad/2018}, editor = {Bjørner, Nikolaj and Gurfinkel, Arie}, ee = {https://doi.org/10.23919/FMCAD.2018.8603008}, interhash = {a8ec28042f9cf9940ee9667540fb2675}, intrahash = {a2c0ba40684609512dcf1c31a7cb9288}, isbn = {978-0-9835678-8-2}, keywords = {dblp}, pages = {1-11}, publisher = {IEEE}, timestamp = {2019-09-27T17:40:16.000+0200}, title = {Temporal Prophecy for Proving Temporal Properties of Infinite-State Systems.}, url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2018.html#PadonHMPSS18}, year = 2018 }