10031 Executive Summary - Quantitative Models: Expressiveness and Analysis

Christel Baier, Manfred Droste, Paul Gastin, Kim Guldstrand Larsen. 10031 Executive Summary - Quantitative Models: Expressiveness and Analysis. In Christel Baier, Manfred Droste, Paul Gastin, Kim Guldstrand Larsen, editors, Quantitative Models: Expressiveness and Analysis, 17.01. - 22.01.2010. Volume 10031 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010. [doi]

Abstract

Abstract is missing.