| Original language | English |
|---|---|
| Place of Publication | Cham |
| Publisher | Springer |
| Number of pages | 1210 |
| ISBN (Print) | 978-3-319-10574-1 |
| DOIs | |
| Publication status | Published - 2018 |
Handbook of Model Checking
Edmund M. Clarke (Editor), Thomas A. Henzinger, Helmut Veith, Roderick Bloem (Editor)
Research output: Book/Report › Book › peer-review