Design and Testing

Organizer

B. Becker, Ch. Meinel

For support, please contact

Dagstuhl Service Team

Documents

List of Participants
Dagstuhl-Seminar-Report 6

Dagstuhl Seminar Series

01051: "Computer Aided Design and Test - BDDs versus SAT" (2001)
99041: "Computer Aided Design and Test Decision Diagrams - Concepts and Applications" (1999)
9705: "Computer Aided Design and Test Decision Diagrams - Concepts and Applications" (1997)
9507: "Computer Aided Design and Test" (1995)
9307: "Computer Aided Design and Test" (1993)

Documentation

In the series Dagstuhl Reports each Dagstuhl Seminar and Dagstuhl Perspectives Workshop is documented. The seminar organizers, in cooperation with the collector, prepare a report that includes contributions from the participants' talks together with a summary of the seminar.

Download overview leaflet (PDF).

Publications

Furthermore, a comprehensive peer-reviewed collection of research papers can be published in the series Dagstuhl Follow-Ups.

Dagstuhl's Impact

Please inform us when a publication was published as a result from your seminar. These publications are listed in the category Dagstuhl's Impact and are presented on a special shelf on the ground floor of the library.