Language Inclusion for Finite Prime Event Structures

Andreas Fellner; Thorsten Tarrach; Georg Weissenbacher

Language Inclusion for Finite Prime Event Structures

Andreas Fellner (Vortragende:r, eingeladen), Thorsten Tarrach (Autor:in, eingeladen), Georg Weissenbacher (Autor:in, eingeladen)

Security & Communication Technologies

TU Wien

Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

Originalsprache	Englisch
Titel	International Conference on Verification, Model Checking, and Abstract Interpretation
Publikationsstatus	Veröffentlicht - 2020
Veranstaltung	VMCAI 2020 - Dauer: 19 Jan. 2020 → 21 Jan. 2020

Konferenz

Konferenz	VMCAI 2020
Zeitraum	19/01/20 → 21/01/20

Research Field

Dependable Systems Engineering

Diese Publikation zitieren

@inproceedings{361ce8592e5a46fd866ea16f3c731073,

title = "Language Inclusion for Finite Prime Event Structures",

author = "Andreas Fellner and Thorsten Tarrach and Georg Weissenbacher",

year = "2020",

language = "English",

booktitle = "International Conference on Verification, Model Checking, and Abstract Interpretation",

note = "VMCAI 2020 ; Conference date: 19-01-2020 Through 21-01-2020",

}

Language Inclusion for Finite Prime Event Structures. / Fellner, Andreas (Vortragende:r, eingeladen); Tarrach, Thorsten (Autor:in, eingeladen); Weissenbacher, Georg (Autor:in, eingeladen).
International Conference on Verification, Model Checking, and Abstract Interpretation. 2020.

Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung