Publikationen

2008

• Principles of Model CheckingKatoen, J. & Baier, C., 2008, Neuerscheinung Aufl., Cambridge, 975 S.Publikation: Buch/Gutachten/Sammelbände > Monographie

2007

• Stochastic Game LogicBaier, C., Brázdil, T., Groesser, M. & Kučera, A., 17 Sept. 2007, QEST'07: Proceedings of the Fourth International Conference on the Quantitative Evaluation of Systems. IEEE Computer Society, Washington , S. 227-236, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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 Sept. 2007, Association for Computing Machinery (ACM)Elektronische (Volltext-)VersionPublikation: Buch/Gutachten/Sammelbände > Sammelband

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 S.Elektronische (Volltext-)VersionPublikation: Buch/Gutachten/Sammelbände > Konferenz-/Tagungsband