TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 2.

Article

Abraham, J. A. and Betts, A. and Drechsler, Rolf and Eveking, Hans and Foster, H. D. and Kropf, T. and Morley, M. J. and Shiple, T. R. and Siegel, M. (2002):
Formal verification : current use and future perspectives.
In: IEEE design & test of computers, 19 (5), pp. 105-113. DOI: 10.1109/MDT.2002.1033798,
[Article]

Conference or Workshop Item

Drechsler, Rolf and Höreth, (1998):
Manipulation of *BMDs.
In: ASP-DAC '98: Asia and South Pacific Design Automation Conference <3, 1998, Yokohama>: Proceedings. S. 433-438, [Conference or Workshop Item]

This list was generated on Tue Nov 24 01:14:52 2020 CET.