Dagstuhl Seminar 12461: Games and Decisions for Rigorous Systems Engineering

View Statistics Email Alert RSS Feed

Description

Event name
Dagstuhl Seminar 12461: Games and Decisions for Rigorous Systems Engineering
 
Event type
Event for scientific audience
 
Start date
11-11-2012
End date
16-11-2012
 
Location
Dagstuhl, Deutschland
Country
Europe
 
Solo Exhibition
Solo Exhibition
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Egly, Uwe A new learning scheme for QDPLL solversPräsentation Presentation2012
2Weissenbacher, Georg Labelled Interpolation SystemsPräsentation Presentation2012
3John, Annu ; Konnov, Igor ; Schmid, Ulrich ; Veith, Helmut ; Widder, Josef Parameterized Model Checking of Fault-tolerant Distributed AlgorithmsPräsentation Presentation2012
4Veith, Helmut Secure Two-Party Computation in ANSI CPräsentation Presentation2012