Synthese großer Schaltungen

Jürgen Frößl. Synthese großer Schaltungen. In Jürgen Ruf, editor, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Tübingen, Germany, February 25-27, 2002. pages 56-56, Shaker, 2002.

Abstract

Abstract is missing.