Workshop on Formal Reasoning in Distributed Algorithms (FRiDA)

Event name
Workshop on Formal Reasoning in Distributed Algorithms (FRiDA)
 
Event type
Event for scientific audience
 
Start date
23-07-2014
End date
24-07-2014
 
Location
Wien
Country
Austria
 
Solo Exhibition
Solo Exhibition
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Kuznets, Roman ; Prosperi, Laurent ; Schmid, Ulrich ; Fruzsa, Krisztina Byzantine Causal ConePräsentation Presentation2019
2Rubin, Sasha Parameterised Verification of Robot Protocols: An Automata Theoretic ApproachPräsentation Presentation2014
3Konnov, Igor ; Lazić, Marijana ; Veith, Helmut ; Widder, Josef Parameterized Verification of Liveness of Distributed AlgorithmsPräsentation Presentation2016