Long-run Satisfaction of Path Properties

Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Beigetragen

Personen und Einrichtungen

Jakob Piribauer - , Professur für Algebraische und logische Grundlagen der Informatik (Redner:in)

Datum

27 Juni 2019

Beschreibung

Speaker: Jakob Piribauer
Event: 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

Schlagworte

Verknüpfte Inhalte

Veröffentlichungen

Long-run Satisfaction of Path Properties

Baier, C., Bertrand, N., Piribauer, J. & Sankur, O., 2019, 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Institute of Electrical and Electronics Engineers (IEEE), 14 S. 8785672

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

Alle Veröffentlichungen ansehen (1)