Published in: Dagstuhl Reports, Volume 4, Issue 1 (2014)
Manfred Droste, Paul Gastin, Kim Gulstrand Larsen, and Axel Legay. Quantitative Models: Expressiveness, Analysis, and New Applications (Dagstuhl Seminar 14041). In Dagstuhl Reports, Volume 4, Issue 1, pp. 104-124, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
@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-dev.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} }
Feedback for Dagstuhl Publishing