A Statistical Model Checker for Nondeterminism and Rare Events
| Title | A Statistical Model Checker for Nondeterminism and Rare Events |
|---|---|
| Author | |
| Year of Conference |
2018
|
| Volume |
10806
|
| Number of Pages |
340\textendash358
|
| URL |
https://link.springer.com/chapter/10.1007/978-3-319-89963-3_20
|
| Download citation |