@inproceedings{Leutgeb_CAV22,
TITLE = {Automated Expected Amortised Cost Analysis of Probabilistic Data Structures},
AUTHOR = {Leutgeb, Lorenz and Moser, Georg and Zuleger, Florian},
LANGUAGE = {eng},
ISBN = {978-3-031-13187-5},
URL = {https://rdcu.be/c1faB},
DOI = {10.1007/978-3-031-13188-2_4},
PUBLISHER = {Springer},
YEAR = {2022},
DATE = {2022},
BOOKTITLE = {Computer Aided Verification (CAV 2022)},
EDITOR = {Shoham, Sharon and Vizel, Yakir},
PAGES = {70--91},
SERIES = {Lecture Notes in Computer Science},
VOLUME = {13372},
ADDRESS = {Haifa, Israel},
}