%0 Conference Paper %1 conf/cav/DietschHLP15 %A Dietsch, Daniel %A Heizmann, Matthias %A Langenfeld, Vincent %A Podelski, Andreas %B CAV (1) %D 2015 %E Kroening, Daniel %E Pasareanu, Corina S. %I Springer %K %P 49-66 %T Fairness Modulo Theory: A New Approach to LTL Software Model Checking. %U http://dblp.uni-trier.de/db/conf/cav/cav2015-1.html#DietschHLP15 %V 9206 %@ 978-3-319-21689-8

@inproceedings{conf/cav/DietschHLP15, added-at = {2023-12-13T08:44:17.000+0100}, author = {Dietsch, Daniel and Heizmann, Matthias and Langenfeld, Vincent and Podelski, Andreas}, biburl = {https://www.bibsonomy.org/bibtex/23d1ed9ef5a20d3c4c5982171a063c5ab/admin}, 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_4}, interhash = {c6d11743be42796a97559a640c48ce74}, intrahash = {3d1ed9ef5a20d3c4c5982171a063c5ab}, isbn = {978-3-319-21689-8}, keywords = {}, pages = {49-66}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T08:44:17.000+0100}, title = {Fairness Modulo Theory: A New Approach to LTL Software Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2015-1.html#DietschHLP15}, volume = 9206, year = 2015 }