Publications

2008

• Principles of Model CheckingKatoen, J. & Baier, C., 2008, Neuerscheinung ed., Cambridge, 975 p.Research output: Book/Report/Anthology > Monograph

2007

• Stochastic Game LogicBaier, C., Brázdil, T., Groesser, M. & Kučera, A., 17 Sep 2007, QEST'07: Proceedings of the Fourth International Conference on the Quantitative Evaluation of Systems. IEEE Computer Society, Washington , p. 227-236, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Proceedings of the International Workshop on Synthesis and Analysis of Component Connectors: in conjunction with the 6th ESEC/FSE joint meeting, SYANCO 2007, Dubrovnik, Croatia, September 3-4, 2007Baier, C., Arbab, F. & Klüppelholz, S., 3 Sep 2007, Association for Computing Machinery (ACM)Electronic (full-text) versionResearch output: Book/Report/Anthology > Anthology

2006

• CONCUR 2006 - Concurrency Theory: 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, ProceedingsBaier, C. & Hermanns, H., 3 Aug 2006, Springer, Berlin, Heidelberg, 528 p.Electronic (full-text) versionResearch output: Book/Report/Anthology > Conference proceeding