%0 Conference Paper %1 conf/tacas/BaierBCJKLLRSWW24 %A Baier, Daniel %A Beyer, Dirk %A Chien, Po-Chun %A Jankola, Marek %A Kettl, Matthias %A Lee, Nian-Ze %A Lemberger, Thomas %A Rosenfeld, Marian Lingsch %A Spiessl, Martin %A Wachowitz, Henrik %A Wendler, Philipp %B TACAS (3) %D 2024 %E Finkbeiner, Bernd %E Kovács, Laura %I Springer %K dblp %P 359-364 %T CPAchecker 2.3 with Strategy Selection - (Competition Contribution). %U http://dblp.uni-trier.de/db/conf/tacas/tacas2024-3.html#BaierBCJKLLRSWW24 %V 14572 %@ 978-3-031-57256-2

@inproceedings{conf/tacas/BaierBCJKLLRSWW24, added-at = {2024-04-14T00:00:00.000+0200}, author = {Baier, Daniel and Beyer, Dirk and Chien, Po-Chun and Jankola, Marek and Kettl, Matthias and Lee, Nian-Ze and Lemberger, Thomas and Rosenfeld, Marian Lingsch and Spiessl, Martin and Wachowitz, Henrik and Wendler, Philipp}, biburl = {https://www.bibsonomy.org/bibtex/26b6f175f9166b9a6b3684c9d18b8314e/dblp}, booktitle = {TACAS (3)}, crossref = {conf/tacas/2024-3}, editor = {Finkbeiner, Bernd and Kovács, Laura}, ee = {https://doi.org/10.1007/978-3-031-57256-2_21}, interhash = {10b67a04092af397097292ede452405a}, intrahash = {6b6f175f9166b9a6b3684c9d18b8314e}, isbn = {978-3-031-57256-2}, keywords = {dblp}, pages = {359-364}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-15T07:04:37.000+0200}, title = {CPAchecker 2.3 with Strategy Selection - (Competition Contribution).}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2024-3.html#BaierBCJKLLRSWW24}, volume = 14572, year = 2024 }