Igor Konnov. 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..
Formal Aspects of Computing, Springer Verlag, 2019, pp.455-456.
⟨10.1007/s00165-019-00486-z⟩.
⟨hal-02398334⟩