September 30, 2025
Modest Models and Tools for Real Stochastic Timed Systems
Carlos E. Budde, Pedro R. D'Argenio, Juan A. Fraire, et al.