Dagstuhl Seminar 10161 on "Decision Procedures in Software, Hardware and Bioware"
Event name
Dagstuhl Seminar 10161 on "Decision Procedures in Software, Hardware and Bioware"
Event type
Event for scientific audience
Start date
18-04-2010
End date
23-04-2010
Location
Schloss Dagstuhl, Germany
Country
Event format Veranstaltungsformat
On Site
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Kovacs, Laura | Interpolation and Symbol Elimination | Präsentation Presentation | 2010 |