Quantitative Models: Expressiveness and Analysis

Keyphrases

Publications

2010

Christel Baier, Manfred Droste, Paul Gastin, Kim Guldstrand Larsen
10031 Abstracts Collection - Quantitative Models: Expressiveness and Analysis. Quantitative Models: Expressiveness and Analysis (2010)
Christel Baier, Manfred Droste, Paul Gastin, Kim Guldstrand Larsen
10031 Executive Summary - Quantitative Models: Expressiveness and Analysis. Quantitative Models: Expressiveness and Analysis (2010)

volume 10031, 2010

Quantitative Models: Expressiveness and Analysis, 17.01. - 22.01.2010 Quantitative Models: Expressiveness and Analysis 10031 (2010)