Christel Baier

No bio available. Add one in Open Library.

Books by Christel Baier (50 max)

+ shelf+ list

Principles of Model Checking

2008

Christel Baier

+ shelf+ list

Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint ...

2018

Christel Baier, Ugo Dal Lago

+ shelf+ list

Validation of Stochastic Systems: A Guide to Current Research (Lecture Notes in Computer Science)

2004

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

+ shelf+ list

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

2015

Christel Baier, Cesare Tinelli

+ shelf+ list

CONCUR 2006 - Concurrency Theory 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30 2006

2006

Christel Baier, Holger Hermanns

+ shelf+ list

SOFSEM 2017 : Theory and Practice of Computer Science : 43rd International Conference on Current Trends in Theory and Practice of Computer Science, ...

2017

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

+ shelf+ list

Formal Techniques for Distributed Objects, Components, and Systems

2018

Christel Baier, Luís Caires