Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Formale Chip Level Verifikation

 
: Pelz, G.

Fraunhofer-Institut für Mikroelektronische Schaltungen und Systeme -IMS-, Duisburg:
Fraunhofer-Institut für Mikroelektronische Schaltungen und Systeme. Tätigkeitsbericht 1989
Duisburg: IMS, 1990
ISSN: 0932-5824
S.15-17
Deutsch
Aufsatz in Buch
Fraunhofer IMS ()

: http://publica.fraunhofer.de/dokumente/PX-14983.html