%0 Conference Paper %1 conf/tacas/LoweMW14 %A Löwe, Stefan %A Mandrykin, Mikhail U. %A Wendler, Philipp %B TACAS %D 2014 %E Ábrahám, Erika %E Havelund, Klaus %I Springer %K dblp %P 392-394 %T CPAchecker with Sequential Combination of Explicit-Value Analyses and Predicate Analyses - (Competition Contribution). %U http://dblp.uni-trier.de/db/conf/tacas/tacas2014.html#LoweMW14 %V 8413 %@ 978-3-642-54861-1

@inproceedings{conf/tacas/LoweMW14, added-at = {2018-06-26T00:00:00.000+0200}, author = {Löwe, Stefan and Mandrykin, Mikhail U. and Wendler, Philipp}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/213fd79081da8f2f84161ca873a755e26/dblp}, booktitle = {TACAS}, crossref = {conf/tacas/2014}, editor = {Ábrahám, Erika and Havelund, Klaus}, ee = {https://doi.org/10.1007/978-3-642-54862-8_27}, interhash = {72ccf6c35cc0c66eaa62a3050637b0b7}, intrahash = {13fd79081da8f2f84161ca873a755e26}, isbn = {978-3-642-54861-1}, keywords = {dblp}, pages = {392-394}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T16:30:29.000+0200}, title = {CPAchecker with Sequential Combination of Explicit-Value Analyses and Predicate Analyses - (Competition Contribution).}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2014.html#LoweMW14}, volume = 8413, year = 2014 }