Memory-Efficient Tactics for Randomized LTL Model Checking
| Title | Memory-Efficient Tactics for Randomized LTL Model Checking |
|---|---|
| Author | |
| Year of Conference |
2017
|
| Volume |
10712
|
| Number of Pages |
152-169
|
| Publisher |
Springer
|
| Conference Location |
Heidelberg, Germany
|
| URL |
https://link.springer.com/chapter/10.1007/978-3-319-72308-2_10
|
| Download citation |