pdf-format: |
|
@InProceedings{baier_et_al:DSP:2010:2683, author = {Christel Baier and Manfred Droste and Paul Gastin and Kim Guldstrand Larsen}, title = {10031 Abstracts Collection -- Quantitative Models: Expressiveness and Analysis}, booktitle = {Quantitative Models: Expressiveness and Analysis}, year = {2010}, editor = {Christel Baier and Manfred Droste and Paul Gastin and Kim Guldstrand Larsen}, number = {10031}, series = {Dagstuhl Seminar Proceedings}, ISSN = {1862-4405}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2010/2683}, annote = {Keywords: Quantitative models, quantitative analysis, timed and hybrid systems, probabilistic systems, weighted automata} }
Keywords: | Quantitative models, quantitative analysis, timed and hybrid systems, probabilistic systems, weighted automata | |
Seminar: | 10031 - Quantitative Models: Expressiveness and Analysis | |
Issue date: | 2010 | |
Date of publication: | 21.07.2010 |