An Efficient Statistical Model Checker for Nondeterminism and Rare Events
| Title | An Efficient Statistical Model Checker for Nondeterminism and Rare Events |
|---|---|
| Author | |
| Year of Publication |
2020
|
| Journal |
International Journal on Software Tools For Technology Transfer
|
| Volume |
Special Issue TACAS 2018
|
| Download citation |