Karlheinz Agsteiner, Dieter Monjau, Bernt Naumann, Mathias Sporer. Ein kompositioneller Ansatz zur Synthese von Datenpfaden. In Matthias Mutz, Nikolaus Lange, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Braunschweig, Germany, February 22-24, 1999. pages 131-140, Shaker, 1999.
Abstract is missing.