Dagstuhl Seminar Proceedings 10031

Quantitative Models: Expressiveness and Analysis

C. Baier, M. Droste, P. Gastin, K. G. Larsen (Eds.)

published by LZI
Host

ISSN  1862 - 4405

Dagstuhl Seminar 10031, 17.01. - 22.01.2010
Additional Information
Seminar Homepage
License
Search Publication Server

Authors
  • Baier, Christel
  • Droste, Manfred
  • Gastin, Paul
  • Larsen, Kim Guldstrand
    		•

    		  
    10031 Abstracts Collection -- Quantitative Models: Expressiveness and Analysis
    Authors: Baier, Christel ; Droste, Manfred ; Gastin, Paul ; Larsen, Kim Guldstrand

    Abstract | Document (188 KB) | BibTeX

    10031 Executive Summary -- Quantitative Models: Expressiveness and Analysis
    Authors: Baier, Christel ; Droste, Manfred ; Gastin, Paul ; Larsen, Kim Guldstrand

    Abstract | Document (86 KB) | BibTeX

    		  



    DROPS-Home | Imprint | Privacy
    Published by LZI