A Calculus for Amortized Expected Runtimes
- Kevin Batz
- , Benjamin Lucien Kaminski
- , Joost-Pieter Katoen
- , Christoph Matheja
- , Lena Verscht
- RWTH Aachen University
- Saarland University
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review