@InProceedings{GHP24,
author={Hubert Garavel and Holger Hermanns and David Parker},
title={Revisiting a Pioneering Concurrent Stochastic Problem: The Erlangen Mainframe},
booktitle={Principles of Verification: Cycling the Probabilistic Landscape},
year={2024},

editors={},
pages={46-74},
organization={},
publisher={Springer},
series={LNCS},
volume={15261},
address={},
month={},
note={},
key={}
}