| No. |
Title |
Author |
Year |
| 1 |
Computer Aided Design and Test - BDDs versus SAT (Dagstuhl Seminar 01051) |
Becker, Bernd et al. |
2021 |
| 2 |
Computer Aided Design and Test (Dagstuhl Seminar 9307) |
Becker, Bernd et al. |
2021 |
| 3 |
Computer Aided Design and Test (Dagstuhl Seminar 9507) |
Becker, Bernd et al. |
2021 |
| 4 |
Computer Aided Design and Test Decision Diagrams - Concepts and Applications (Dagstuhl Seminar 9705) |
Becker, Bernd et al. |
2021 |
| 5 |
Computer Aided Design and Test Decision Diagrams - Concepts and Applications (Dagstuhl Seminar 99041) |
Becker, Bernd et al. |
2021 |
| 6 |
Entwerfen, Prüfen, Testen (Dagstuhl Seminar 9108) |
Becker, Bernd et al. |
2021 |
| 7 |
09461 Abstracts Collection -- Algorithms and Applications for Next Generation SAT Solvers |
Becker, Bernd et al. |
2010 |
| 8 |
10271 Abstracts Collection -- Verification over discrete-continuous boundaries |
Becker, Bernd et al. |
2010 |
| 9 |
A Definition and Classification of Timing Anomalies |
Reineke, Jan et al. |
2006 |
