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
Jump to: 2002 | 1998
Number of items: 2.

2002

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]

1998

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 Sat Dec 5 02:31:09 2020 CET.