Bibtex actions: edit source raw source raw html
2025
-
Roman Andriushchenko, Alexander Bork, Carlos E. Budde, Milan \vCe\vska, Kush Grover, Ernst Moritz Hahn, Arnd Hartmanns, Bryant Israelsen, Nils Jansen, Joshua Jeppson, Sebastian Junges, Maximilian A. Köhl, Bettina Könighofer, Jan K\vret\'insk\'y, Tobias Meggendorfer, David Parker, Stefan Pranger, Tim Quatmann, Enno Ruijters, Landon Taylor, Matthias Volk, Maximilian Weininger and Zhen Zhang.
Tools at the Frontiers of Quantitative Verification.
Dirk Beyer, Arnd Hartmanns and Fabrice Kordon,
TOOLympics Challenge 2023,
2025,
Springer Nature Switzerland,
Cham,
90-146,
10.1007/978-3-031-67695-6_4.
