| 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 |
Counting Issues: Theory and Application (Dagstuhl Seminar 9349) |
Gritzmann, Peter et al. |
2021 |
| 7 |
Entwerfen, Prüfen, Testen (Dagstuhl Seminar 9108) |
Becker, Bernd et al. |
2021 |
| 8 |
Probabilistic Methods in Verification (Dagstuhl Seminar 00181) |
Kwiatkowska, Marta et al. |
2021 |
