External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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]

Authors

Christel Baier

This author has not been identified. Look up 'Christel Baier' in Google

Manfred Droste

This author has not been identified. Look up 'Manfred Droste' in Google

Paul Gastin

This author has not been identified. Look up 'Paul Gastin' in Google

Kim Guldstrand Larsen

This author has not been identified. Look up 'Kim Guldstrand Larsen' in Google
runs on