Project Details
Projekt
Effiziente Algorithmen zur formalen Verifikation von VLSI-Designs
Applicant
Professor Dr. Hans Jürgen Prömel
Subject Area
Computer Science
Term
from 1995 to 1999
Project identifier
Deutsche Forschungsgemeinschaft (DFG) - Project number 5210294
No abstract available
DFG Programme
Priority Programmes
