Christel Baier
Christel Baier is Professor and Chair for Algebraic and Logical Foundations of Computer Science in the Faculty of Computer Science at the Technical University of Dresden.
Books
Principles of Model Checking
9780262304030
