%0 Conference Paper %1 conf/dagstuhl/BaierDGL10a %A Baier, Christel %A Droste, Manfred %A Gastin, Paul %A Larsen, Kim Guldstrand %B Quantitative Models: Expressiveness and Analysis %D 2010 %E Baier, Christel %E Droste, Manfred %E Gastin, Paul %E Larsen, Kim Guldstrand %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany %K dblp %T 10031 Executive Summary - Quantitative Models: Expressiveness and Analysis. %U http://dblp.uni-trier.de/db/conf/dagstuhl/P10031.html#BaierDGL10a %V 10031

@inproceedings{conf/dagstuhl/BaierDGL10a, added-at = {2018-08-23T00:00:00.000+0200}, author = {Baier, Christel and Droste, Manfred and Gastin, Paul and Larsen, Kim Guldstrand}, biburl = {https://www.bibsonomy.org/bibtex/2c4f33bdd9ee5c056d1978d48ede45c12/dblp}, booktitle = {Quantitative Models: Expressiveness and Analysis}, crossref = {conf/dagstuhl/2010P10031}, editor = {Baier, Christel and Droste, Manfred and Gastin, Paul and Larsen, Kim Guldstrand}, ee = {http://drops.dagstuhl.de/opus/volltexte/2010/2682/}, interhash = {deec5020dbe66a03bd1c754310ed945c}, intrahash = {c4f33bdd9ee5c056d1978d48ede45c12}, keywords = {dblp}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany}, series = {Dagstuhl Seminar Proceedings}, timestamp = {2024-04-09T10:25:00.000+0200}, title = {10031 Executive Summary - Quantitative Models: Expressiveness and Analysis.}, url = {http://dblp.uni-trier.de/db/conf/dagstuhl/P10031.html#BaierDGL10a}, volume = 10031, year = 2010 }