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

Publications Publikationen

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Fellner, Andreas ; Tarrach, Thorsten ; Weissenbacher, Georg Language Inclusion for Finite Prime Event StructuresKonferenzbeitrag Inproceedings 2020