Analyse und formale Spezifikation einer operationalen Schnittstelle zwischen datenhaltung und Entwurfswerkzeugen im VLSI-Bereich

by Yuan Zhou