Jürgen Kampe. Die formale Beschreibung des Strukturentwurfs analoger Systemkomponenten. In Klaus Waldschmidt, Christoph Grimm, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Frankfurt, Germany, February 28 - March 1, 2000. pages 199-208, VDE, 2000.
Abstract is missing.