%0 Conference Paper %1 conf/tacas/Lowe16 %A Löwe, Stefan %B TACAS %D 2016 %E Chechik, Marsha %E Raskin, Jean-François %I Springer %K %P 916-919 %T CPA-RefSel: CPAchecker with Refinement Selection - (Competition Contribution). %U http://dblp.uni-trier.de/db/conf/tacas/tacas2016.html#Lowe16 %V 9636 %@ 978-3-662-49673-2

@inproceedings{conf/tacas/Lowe16, added-at = {2023-12-12T22:56:45.000+0100}, author = {Löwe, Stefan}, biburl = {https://www.bibsonomy.org/bibtex/2e74614adee6b80070844fecd3f4943e6/admin}, booktitle = {TACAS}, crossref = {conf/tacas/2016}, editor = {Chechik, Marsha and Raskin, Jean-François}, ee = {https://doi.org/10.1007/978-3-662-49674-9_59}, interhash = {502a96574c6b4b90edd6340019932891}, intrahash = {e74614adee6b80070844fecd3f4943e6}, isbn = {978-3-662-49673-2}, keywords = {}, pages = {916-919}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T22:56:45.000+0100}, title = {CPA-RefSel: CPAchecker with Refinement Selection - (Competition Contribution).}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2016.html#Lowe16}, volume = 9636, year = 2016 }