C
Christel Baier
7 works on record
Works

Principles of model checking

Validation of stochastic systems

Formal Techniques for Distributed Objects, Components, and Systems

Foundations of Software Science and Computation Structures

SOFSEM 2017 : Theory and Practice of Computer Science
Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
CONCUR 2006 - Concurrency Theory
CONCUR 2006 - Concurrency Theory