, Handbook of Satisfiability, vol.185, 2009.
Decidability of Parameterized Verification, Synthesis Lectures on Distributed Computing Theory, 2015. ,
Principles of model checking, 2008. ,
Model checking, 2001. ,
Doron Peled, and Helmut Veith. Model checking, 2018. ,
Decision Procedures -An Algorithmic Point of View, Second Edition. Texts in Theoretical Computer Science, An EATCS Series, 2016. ,