Publications

172 Entries

Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages (QAPL 2008)Baier, C. & Aldini, A., 12 Dec 2008, Elsevier Science B.V., 199 p.Research output: Book/Report/Anthology > Conference proceeding
Principles of Model CheckingKatoen, J. & Baier, C., 2008, Neuerscheinung ed., Cambridge, 975 p.Research output: Book/Report/Anthology > Monograph

About this page