|
|
Link to the Homepage: Model Checking: Techniques and Applications
| |
 |
Clarke, Edmund M.; Henzinger, Thomas A.; Veith, Helmut and Bloem, Roderick Handbook of model checking Springer 2018 |
|
|
Link to the Homepage: Model Checking: Techniques and Applications
| |
|
Clarke, Edmund M.; Henzinger, Thomas A.; Veith, Helmut and Bloem, Roderick Handbook of model checking Springer 2018 |