Christel Baier
Books
- Validation of stochastic systems
- SOFSEM 2017 : Theory and Practice of Computer Science
- Foundations of Software Science and Computation Structures
- Tools and Algorithms for the Construction and Analysis of Systems
- Formal Techniques for Distributed Objects, Components, and Systems
- Principles of model checking
- CONCUR 2006 - Concurrency Theory
Author data: Open Library