# Christel Baier

Canonical: https://www.bookquiver.com/christel-baier

- Books: 1
- Language: 1

## Books

- [Principles of Model Checking](https://www.bookquiver.com/christel-baier/principles-of-model-checking) — 2008-04-25