Workshop on Exploiting Concurrency Efficiently and Correctly
Event name
Workshop on Exploiting Concurrency Efficiently and Correctly
Event type
Event for scientific audience
Start date
07-07-2012
End date
08-07-2012
Location
Berkeley, CA, USA
Country
Event format Veranstaltungsformat
On Site
Results 1-1 of 1 (Search time: 0.001 seconds).
Preview | Authors / Editors | Title | Type | Issue Date | |
---|---|---|---|---|---|
1 | Konnov, Igor ; Veith, Helmut ; Widder, Josef | Who is afraid of Model Checking Distributed Algorithms? | Präsentation Presentation | 2012 |