Publikationen

2008

• Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages (QAPL 2008)Baier, C. & Aldini, A., 12 Dez. 2008, Elsevier Science B.V., 199 S.Publikation: Buch/Gutachten/Sammelbände > Konferenz-/Tagungsband
• Principles of Model CheckingKatoen, J. & Baier, C., 2008, Neuerscheinung Aufl., Cambridge, 975 S.Publikation: Buch/Gutachten/Sammelbände > Monographie