Language Inclusion for Finite Prime Event Structures

Andreas Fellner; Thorsten Tarrach; Georg Weissenbacher

Language Inclusion for Finite Prime Event Structures

Andreas Fellner (Speaker, Invited)
, Thorsten Tarrach (Author, Invited)
, Georg Weissenbacher (Author, Invited)

TU Wien

Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation › peer-review

Original language	English
Title of host publication	International Conference on Verification, Model Checking, and Abstract Interpretation
Publication status	Published - 2020
Event	VMCAI 2020 - Duration: 19 Jan 2020 → 21 Jan 2020

Conference

Conference	VMCAI 2020
Period	19/01/20 → 21/01/20

Research Field

Dependable Systems Engineering

Cite this

@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 (Speaker, Invited); Tarrach, Thorsten (Author, Invited); Weissenbacher, Georg (Author, Invited).
International Conference on Verification, Model Checking, and Abstract Interpretation. 2020.

Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation › peer-review