VMCAI: International Conference on Verification, Model Checking, and Abstract Interpretation 2018

Event name
VMCAI: International Conference on Verification, Model Checking, and Abstract Interpretation 2018
 
Event type
Event for scientific audience
 
Start date
07-01-2018
End date
09-01-2018
 
Location
Los Angeles
Country
United States
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

Results 1-2 of 2 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Fiedor Tomas - 2018 - From Shapes to Amortized Complexity.pdf.jpgFiedor, Tomáš ; Holík, Lukáš ; Rogalewicz, Adam ; Sinn, Moritz ; Vojnar, Tomáš ; Zuleger, Florian From Shapes to Amortized ComplexityInproceedings Konferenzbeitrag 2018
2Aminof Benjamin - 2018 - Parameterized Model Checking of Synchronous Distributed...pdf.jpgAminof, Benjamin ; Rubin, Sasha ; Stoilkovska, Ilina ; Widder, Josef ; Zuleger, Florian Parameterized Model Checking of Synchronous Distributed Algorithms by AbstractionInproceedings Konferenzbeitrag 2018