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 |
https://link.springer.com/chapter/10.1007/978-3-030-03421-4_22
|
| Download citation |