Quantitative Models: Expressiveness and Analysis
Activity: Organising or participating in an event › Organising an event
Persons and affiliations
- Christel Baier - , Chair of Algebraic and Logical Foundations of Computer Science (Organiser)
- Manfred Droste - , Leipzig University (Organiser)
- Paul Gastin - , École normale supérieure Paris-Saclay (Organiser)
- Kim Guldstrand Larsen - , Aalborg University (Organiser)
Date
17 Jan 2010 → 22 Jan 2010
Seminar
| 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 |