No. Title Author Year
1 Computer Aided Design and Test (Dagstuhl Seminar 9307) Becker, Bernd et al. 2021
2 Computer Aided Design and Test (Dagstuhl Seminar 9507) Becker, Bernd et al. 2021
3 Computer Aided Design and Test - BDDs versus SAT (Dagstuhl Seminar 01051) 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
Current Page :
Number of result pages: 1
Number of documents: 8


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI