@article{konnov:hal-02398334, TITLE = {{Handbook of Model Checking by Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, and Roderick Bloem (eds), published by Springer International Publishing AG, Cham, Switzerland, 2018.}}, AUTHOR = {Konnov, Igor}, URL = {https://inria.hal.science/hal-02398334}, JOURNAL = {{Formal Aspects of Computing}}, PUBLISHER = {{Springer Verlag}}, PAGES = {455-456}, YEAR = {2019}, DOI = {10.1007/s00165-019-00486-z}, PDF = {https://inria.hal.science/hal-02398334/file/review-igor.pdf}, HAL_ID = {hal-02398334}, HAL_VERSION = {v1}, }