Quantitative Models: Expressiveness and Analysis (Veranstaltung)
Aktivität: Begutachtung von Manuskripten und herausgeberische Tätigkeiten › Herausgebertätigkeit
Personen und Einrichtungen
- Christel Baier - , Professur für Algebraische und logische Grundlagen der Informatik (Herausgeber:in)
- Manfred Droste - , Universität Leipzig (Herausgeber:in)
- Paul Gastin - , École normale supérieure Paris-Saclay (Herausgeber:in)
- Kim G. Larsen - , Aalborg University (Herausgeber:in)
Datum
17 Jan. 2010 → 22 Jan. 2010
Beschreibung
Dagstuhl Seminar Proceedings 10031, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010Seminar
| Titel | Quantitative Models: Expressiveness and Analysis |
|---|---|
| Untertitel | Dagstuhl Seminar 10031 |
| Veranstaltungsnummer | |
| Dauer | 17 - 22 Januar 2010 |
| Bekanntheitsgrad | Internationale Veranstaltung |
| Ort | Schloss Dagstuhl |
| Stadt | Wadern |
| Land | Deutschland |