It looks like you're offline.

Last edited anonymously

April 30, 2008 | History

Edit

Christel Baier

We need a photo of Christel Baier

7 works Add another?

Most Editions

Most Editions First Published Most Recent Top Rated Reading Log Trending Random

Details Grid — Show only ebooks?

Preview

Preview Book
×Close

Principles of Model Checking

by Christel Baier First published in 2008
5 editions, 1 ebook

Locate

My Reading Lists:

Create a new list

Create a new list
×Close

Name:

Description:

Cancel
Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint ... Greece, April 14-20, 2018. Proceedings

by Christel Baier and Ugo Dal Lago First published in 2018
3 editions

Locate

My Reading Lists:

Create a new 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

by Christel Baier and Cesare Tinelli First published in 2015
2 editions

Locate

My Reading Lists:

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

by Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, and Markus Siegle First published in 2004
2 editions

Locate

My Reading Lists:

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

by Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, and Tiziana Margaria First published in 2017
1 edition

Locate

My Reading Lists:

Create a new list
CONCUR 2006 - Concurrency Theory: 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30 2006

by Christel Baier and Holger Hermanns First published in 2006
1 edition

Locate

My Reading Lists:

Create a new list
Formal Techniques for Distributed Objects, Components, and Systems

by Christel Baier and Luís Caires First published in 2018
1 edition

Locate

My Reading Lists:

Create a new list

We need a photo of Christel Baier

Add to List

My Reading Lists:

Create a new list

ID Numbers

OLID: OL3401144A

Links outside Open Library

No links yet. Add one?

Download catalog record: RDF / JSON