Quantitative Analysis of Randomized Distributed Systems and Probabilistic Automata
Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Eingeladen
Personen und Einrichtungen
Datum
8 Nov. 2013 → 9 Nov. 2013
Beschreibung
(Fach-)Tagung
| Titel | 20. Jahrestagung der GI-Fachgruppe Logik in der Informatik |
|---|---|
| Veranstaltungsnummer | |
| Dauer | 8 - 9 November 2013 |
| Bekanntheitsgrad | Nationale Veranstaltung |
| Ort | Universität Bremen |
| Stadt | Bremen |
| Land | Deutschland |