Principles of Model Checking

Hardback by Baier, Christel (Technische Universität Dresden); Katoen, Joost-Pieter (RWTH Aachen University); Larsen, Kim Guldstrand (Aalborg University)