Handbook of Model Checking

Edmund M. Clarke (Editor), Thomas A. Henzinger, Helmut Veith, Roderick Bloem (Editor)

Research output: Book/ReportBook

Original languageEnglish
Place of PublicationCham
PublisherSpringer
Number of pages1210
ISBN (Print)978-3-319-10574-1
DOIs
Publication statusPublished - 2018

Cite this

Clarke, E. M. (Ed.), Henzinger, T. A., Veith, H., & Bloem, R. (Ed.) (2018). Handbook of Model Checking. Cham: Springer. https://doi.org/10.1007/978-3-319-10575-8