Long-run Satisfaction of Path Properties
Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Beigetragen
Personen und Einrichtungen
Datum
27 Juni 2019
Beschreibung
Speaker: Jakob PiribauerEvent: Logic in Computer Science (LICS’19)
Inviting institution: Simon Fraser University
Location: Vancouver
Country: Kanada
Duration of event: 27.06.2019-27.06.2019
Konferenz
| Titel | 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019 |
|---|---|
| Dauer | 24 - 27 Juni 2019 |
| Stadt | Vancouver |
| Land | Kanada |