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