Reference author: Carlos Budde

Budde, C., D’Argenio, P., Hartmanns, A., & Sedwards, S. (2018). A Statistical Model Checker for Nondeterminism and Rare Events Retrieved from https://link.springer.com/chapter/10.1007/978-3-319-89963-3_20

Budde, C., D’Argenio, P., Hartmanns, A., & Sedwards, S. (2020). An Efficient Statistical Model Checker for Nondeterminism and Rare Events International Journal on Software Tools For Technology Transfer, Special Issue TACAS 2018.