@InProceedings{ABB+24,
author={Roman Andriushchenko and Alexander Bork and Carlos E. Budde and Milan Češka and Kush Grover and Ernst Moritz Hahn and Arnd Hartmanns and Bryant Israelsen and Nils Jansen and Joshua Jeppson and Sebastian Junges and Maximilian A. Köhl and Bettina Könighofer and Jan Křetínský and Tobias Meggendorfer and David Parker and Stefan Pranger and Tim Quatmann and Enno Ruijters and Landon Taylor and Matthias Volk and Maximilian Weininger and Zhen Zhang},
title={Tools at the Frontiers of Quantitative Verification},
booktitle={Proc. TOOLympics III},
year={2024},

editors={},
pages={},
organization={},
publisher={Springer},
series={},
volume={},
address={},
month={},
note={},
key={}
}