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
Europe
 
Event format Veranstaltungsformat
On Site

Publications Publikationen



Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Kovacs, Laura Interpolation and Symbol EliminationPr√§sentation Presentation2010