Quantitative Models: Expressiveness and Analysis (Event)
Activity: Publication peer-review and editorial work › Editorial work
Persons and affiliations
- Christel Baier - , Chair of Algebraic and Logical Foundations of Computer Science (Editor)
- Manfred Droste - , Leipzig University (Editor)
- Paul Gastin - , École normale supérieure Paris-Saclay (Editor)
- Kim G. Larsen - , Aalborg University (Editor)
Date
17 Jan 2010 → 22 Jan 2010
Description
Dagstuhl Seminar Proceedings 10031, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010Seminar
| Title | Quantitative Models: Expressiveness and Analysis |
|---|---|
| Subtitle | Dagstuhl Seminar 10031 |
| Conference number | |
| Duration | 17 - 22 January 2010 |
| Degree of recognition | International event |
| Location | Schloss Dagstuhl |
| City | Wadern |
| Country | Germany |