👤

Christel Baier

3 books

Books by Christel Baier

SOFSEM 2017 : Theory and Practice of Computer Science
SOFSEM 2017 : Theory and Practice of Computer Science
2017
Principles of model checking
Principles of model checking
2008
Validation of stochastic systems
Validation of stochastic systems
2004