Probabilistic Model Checking and Tradeoff Analysis
Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Eingeladen
Personen und Einrichtungen
Datum
5 Jan. 2015 → 8 Jan. 2015
Beschreibung
Redner:in: Prof. Dr. Christel BaierTagung: 14th Asian Logic Conference
Ort: Bombay, Mumbai
Land: Indien
Veranstaltungsdauer: 05.01.2015-08.01.2015
Konferenz
| Titel | 14th Asian Logic Conference |
|---|---|
| Kurztitel | ALC 2015 |
| Veranstaltungsnummer | |
| Dauer | 5 - 8 Januar 2015 |
| Bekanntheitsgrad | Internationale Veranstaltung |
| Ort | Indian Institute of Technology Bombay |
| Stadt | Mumbai |
| Land | Indien |