%0 Conference Paper %1 conf/fmcad/EsparzaM15 %A Esparza, Javier %A Meyer, Philipp J. %B FMCAD %D 2015 %E Kaivola, Roope %E Wahl, Thomas %I IEEE %K dblp %P 49-56 %T An SMT-based Approach to Fair Termination Analysis. %U http://dblp.uni-trier.de/db/conf/fmcad/fmcad2015.html#EsparzaM15 %@ 978-0-9835-6785-1

@inproceedings{conf/fmcad/EsparzaM15, added-at = {2023-06-26T00:00:00.000+0200}, author = {Esparza, Javier and Meyer, Philipp J.}, biburl = {https://www.bibsonomy.org/bibtex/221c5dc2f49cf7756b5a5084232b7eb9e/dblp}, booktitle = {FMCAD}, crossref = {conf/fmcad/2015}, editor = {Kaivola, Roope and Wahl, Thomas}, ee = {https://doi.org/10.1109/FMCAD.2015.7542252}, interhash = {97a50517467a913eb1b3c11bd5a86736}, intrahash = {21c5dc2f49cf7756b5a5084232b7eb9e}, isbn = {978-0-9835-6785-1}, keywords = {dblp}, pages = {49-56}, publisher = {IEEE}, timestamp = {2024-04-09T23:58:44.000+0200}, title = {An SMT-based Approach to Fair Termination Analysis.}, url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2015.html#EsparzaM15}, year = 2015 }