Budde, C. ., D\textquoterightArgenio, 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
Reference author: Carlos Budde
First name
Carlos
Last name
Budde
Budde, C. ., D\textquoterightArgenio, 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.