Christel Baier
4 published titles
Validation of stochastic systems : a guide to current research
(Contributor)
1 edition
- ISBN: 3540222650
- Springer
- 2004
- Details
CONCUR 2006 - concurrency theory : 17th international conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006 : proceedings
(Contributor)
1 edition
- ISBN: 9783540373766
- Springer
- 2006
- Details
Principles of model checking
1 edition
- ISBN: 9780262026499
- MIT
- 2008
- Details
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
(Contributor)
1 edition
- ISBN: 9783662466803
- Springer
- 2015
- Details
