https://www.dagstuhl.de/9108
February 18 – 22 , 1991, Dagstuhl Seminar 9108
Design and Testing
Organizer
B. Becker, Ch. Meinel
For support, please contact
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)