%0 Conference Paper %1 conf/cav/DSilvaU15 %A D'Silva, Vijay %A Urban, Caterina %B CAV (2) %D 2015 %E Kroening, Daniel %E Pasareanu, Corina S. %I Springer %K dblp %P 271-286 %T Conflict-Driven Conditional Termination. %U http://dblp.uni-trier.de/db/conf/cav/cav2015.html#DSilvaU15 %V 9207 %@ 978-3-319-21667-6

@inproceedings{conf/cav/DSilvaU15, added-at = {2019-08-20T00:00:00.000+0200}, author = {D'Silva, Vijay and Urban, Caterina}, biburl = {https://www.bibsonomy.org/bibtex/28ca76faa5c8f869583df7439cb400a7d/dblp}, booktitle = {CAV (2)}, crossref = {conf/cav/2015}, editor = {Kroening, Daniel and Pasareanu, Corina S.}, ee = {https://doi.org/10.1007/978-3-319-21668-3_16}, interhash = {f680a46858e2b2e2d27cb22356780754}, intrahash = {8ca76faa5c8f869583df7439cb400a7d}, isbn = {978-3-319-21667-6}, keywords = {dblp}, pages = {271-286}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-08-21T12:23:18.000+0200}, title = {Conflict-Driven Conditional Termination.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2015.html#DSilvaU15}, volume = 9207, year = 2015 }