Lightweight Statistical Model Checking in Nondeterministic Continuous Time
| Title | Lightweight Statistical Model Checking in Nondeterministic Continuous Time |
|---|---|
| Author | |
| Year of Conference |
2018
|
| Volume |
11245
|
| Number of Pages |
336\textendash353
|
| Publisher |
Springer
|
| Conference Location |
Limassol, Cyprus
|
| URL | |
| Download citation |