Quantitative Analysis under Fairness Constraints
Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Beigetragen
Personen und Einrichtungen
- Marcus Groesser - , Technische Universität Dresden (Redner:in)
Datum
14 Okt. 2009 → 16 Okt. 2009
Beschreibung
Speaker: Marcus GroesserEvent: ATVA 2009
Location: Macao
Country: China
Duration of event: 13.10.2009-16.10.2009
Konferenz
| Titel | 7th International Symposium on Automated Technology for Verification and Analysis |
|---|---|
| Kurztitel | ATVA 2009 |
| Veranstaltungsnummer | |
| Dauer | 14 - 16 Oktober 2009 |
| Webseite | |
| Bekanntheitsgrad | Internationale Veranstaltung |
| Ort | |
| Stadt | Macao |
| Land | China |