International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI)
Event name
International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI)
Start date
16-01-2020
End date
21-01-2020
Location
New Orleans, LA, USA
Country
Event format Veranstaltungsformat
On Site
Date issued
Results 1-1 of 1 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Fellner, Andreas ; Tarrach, Thorsten ; Weissenbacher, Georg | Language Inclusion for Finite Prime Event Structures | Konferenzbeitrag Inproceedings  | 2020 |