@Article{droste_et_al:DagRep.4.1.104,
author = {Droste, Manfred and Gastin, Paul and Larsen, Kim Gulstrand and Legay, Axel},
title = {{Quantitative Models: Expressiveness, Analysis, and New Applications (Dagstuhl Seminar 14041)}},
pages = {104--124},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2014},
volume = {4},
number = {1},
editor = {Droste, Manfred and Gastin, Paul and Larsen, Kim Gulstrand and Legay, Axel},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.1.104},
URN = {urn:nbn:de:0030-drops-45374},
doi = {10.4230/DagRep.4.1.104},
annote = {Keywords: quantitative models, quantitative analysis, timed and hybrid systems, probabilistic systems, weighted automata, systems biology, smart grid}
}