Christel Baier

CONCUR 2006 - Concurrency Theory

CONCUR 2006 - Concurrency Theory

Year unknown Christel Baier and Holger Hermanns

Formal Techniques for Distributed Objects, Components, and Systems

Year unknown Christel Baier and Luís Caires

Foundations of Software Science and Computation Structures

Year unknown Christel Baier and Ugo Dal Lago

Principles of model checking

Year unknown

SOFSEM 2017 : Theory and Practice of Computer Science

Year unknown Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, and Tiziana Margaria

Tools and Algorithms for the Cons...

Tools and Algorithms for the Construction and Analysis of Systems

Year unknown Christel Baier and Cesare Tinelli

Validation of stochastic systems

Year unknown Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, and Markus Siegle