You are here: Home › Author › Christel Baier
Christel Baier

Christel Baier

17 books

Principles of Model Checking

Principles of Model Checking

by Christel Baier

4.09 of 32

Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences ... Science and General Issues Book 10803)

Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences ... Science and General Issues Book 10803)

by Christel Baier

5.00 of 1

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

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

by Bernhard Steffen

5.00 of 1

Validation of Stochastic Systems: A Guide to Current Research

Validation of Stochastic Systems: A Guide to Current Research

by Christel Baier

4.00 of 1

Theoretische Informatik

Theoretische Informatik

by Alexander Asteroth

4.00 of 1

CONCUR 2006 - Concurrency Theory: 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006 (Lecture Notes in Computer Science, 4137)

CONCUR 2006 - Concurrency Theory: 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006 (Lecture Notes in Computer Science, 4137)

by Christel Baier

3.00 of 1

Theoretische Informatik

Theoretische Informatik

by Christel Baier

0.0 of 0

Theoretische Informatik: Einführung in Berechenbarkeit, Komplexität und formale Sprachen (Pearson Studium - IT)

Theoretische Informatik: Einführung in Berechenbarkeit, Komplexität und formale Sprachen (Pearson Studium - IT)

by Christel Baier

0.0 of 0

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

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

by Christel Baier

0.0 of 0

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

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

0.0 of 0

Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint ... London, UK, April 11-18, 2015, Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint ... London, UK, April 11-18, 2015, Proceedings

by Christel Baier

0.0 of 0

Formal Techniques for Distributed Objects, Components, and Systems: 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International ... Notes in Computer Science Book 10854)

Formal Techniques for Distributed Objects, Components, and Systems: 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International ... Notes in Computer Science Book 10854)

by Christel Baier

0.0 of 0

Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences ... Notes in Computer Science Book 9035)

Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences ... Notes in Computer Science Book 9035)

by Christel Baier

0.0 of 0

[Principles of Model Checking (The MIT Press)] [Author: Christel Baier] [June, 2008]

[Principles of Model Checking (The MIT Press)] [Author: Christel Baier] [June, 2008]

by Christel Baier

0.0 of 0

SOFSEM 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, ... Notes in Computer Science Book 10139)

SOFSEM 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, ... Notes in Computer Science Book 10139)

by Bernhard Steffen

0.0 of 0