Abraham, J. A. ; Betts, A. ; Drechsler, Rolf ; Eveking, Hans ; Foster, H. D. ; Kropf, T. ; Morley, M. J. ; Shiple, T. R. ; Siegel, M. (2002)
Formal verification : current use and future perspectives.
In: IEEE design & test of computers, 19 (5)
doi: 10.1109/MDT.2002.1033798
Artikel, Bibliographie

Höreth, Stefan ; Drechsler, Rolf
Hrsg.: Dewilde, Patrick (1998)
Dynamic minimization of word-level decision diagrams.
DATE98: Design, Automation and Test in Europe Conference. Paris, France (23.02.1998 - 26.02.1998)
doi: 10.1109/DATE.1998.655921
Konferenzveröffentlichung, Bibliographie

Drechsler, Rolf ; Höreth, (1998)
Manipulation of *BMDs.
Konferenzveröffentlichung, Bibliographie

Höreth, Stefan ; Drechsler, Rolf
Hrsg.: Saul, Jon (1997)
Compilation of fast manipulation algorithms for K*BMDs.
Third International Workshop on Applications of the Reed-Muller-Expansion in Circuit Design. Oxford, UK (19.09.1997 - 20.09.1997)
Konferenzveröffentlichung, Bibliographie

Höreth, Stefan ; Drechsler, Rolf (1997)
Fast construction of Kronecker decision diagrams from library based circuits.
7th Workshop on Synthesis and System Integration of Mixed Technologies (SASIMI '97). Osaka, Japan (1997)
Konferenzveröffentlichung, Bibliographie