@misc{indiciaed716a35dfc0a, title = {Transient Evaluation of Non-Markovian Models by Stochastic State Classes and Simulation}, author = {Gabriel Dengler and Laura Carnevali and Carlos E. Budde and Enrico Vicario}, year = {2024}, doi = {10.1007/978-3-031-68416-6\_13}, url = {https://arxiv.org/abs/2406.16447}, note = {Source identifier: 2406.16447} }