Crossmark

An efficient statistical model checker for nondeterminism and rare events

Crossref DOI link: https://doi.org/10.1007/s10009-020-00563-2

Published Online: 2020-05-28

Published Print: 2020-12

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Budde, Carlos E. https://orcid.org/0000-0001-8807-1548
D’Argenio, Pedro R. https://orcid.org/0000-0002-8528-9215
Hartmanns, Arnd https://orcid.org/0000-0003-3268-8674
Sedwards, Sean https://orcid.org/0000-0002-2903-0823
Funding

Funding for this research was provided by:

University of Twente
License Information

Text and Data Mining valid from 2020-05-28

Version of Record valid from 2020-05-28
More Information

Article History

First Online: 28 May 2020