Trade-Off Analysis meets Probabilistic Model Checking
Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Eingeladen
Personen und Einrichtungen
Datum
14 Juli 2014 → 18 Juli 2014
Konferenz
| Titel | Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) |
|---|---|
| Kurztitel | CSL-LICS '14 |
| Veranstaltungsnummer | |
| Dauer | 14 - 18 Juli 2014 |
| Bekanntheitsgrad | Internationale Veranstaltung |
| Ort | |
| Stadt | Wien |
| Land | Österreich |