Astrid Kreissig, Iman Poernomo, Ralf Reussner, editors, Quantitative Software Design, 20.10. - 23.10.2009. Volume 09432 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009. [doi]
Conference: Dagstuhl2009
Abstract is missing.