%0 Conference Proceedings %1 conf/tacas/2024-2 %B TACAS (2) %D 2024 %E Finkbeiner, Bernd %E Kovács, Laura %I Springer %K dblp %T Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II %U http://dblp.uni-trier.de/db/conf/tacas/tacas2024-2.html %V 14571 %@ 978-3-031-57249-4

@proceedings{conf/tacas/2024-2, added-at = {2024-04-14T00:00:00.000+0200}, biburl = {https://www.bibsonomy.org/bibtex/29872eb51e57b9832fbd1705fac21ddd0/dblp}, booktitle = {TACAS (2)}, editor = {Finkbeiner, Bernd and Kovács, Laura}, ee = {https://doi.org/10.1007/978-3-031-57249-4}, interhash = {18c57379e1f55302145c33f3996bea3a}, intrahash = {9872eb51e57b9832fbd1705fac21ddd0}, isbn = {978-3-031-57249-4}, keywords = {dblp}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-22T07:48:16.000+0200}, title = {Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2024-2.html}, volume = 14571, year = 2024 }