Formal Techniques for Distributed Objects, Components, and SystemsChristel Baier, Luís Caires · First published 2018Open the Tome
Foundations of Software Science and Computation StructuresChristel Baier, Ugo Dal Lago · First published 2018Open the Tome
SOFSEM 2017 : Theory and Practice of Computer ScienceBernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria · First published 2017Open the Tome
Tools and Algorithms for the Construction and Analysis of SystemsChristel Baier, Cesare Tinelli · First published 2015Open the Tome
Validation of stochastic systemsChristel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle · First published 2004Open the Tome
