Ein kompositioneller Ansatz zur Synthese von Datenpfaden

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.

Authors

Karlheinz Agsteiner

This author has not been identified. Look up 'Karlheinz Agsteiner' in Google

Dieter Monjau

This author has not been identified. Look up 'Dieter Monjau' in Google

Bernt Naumann

This author has not been identified. Look up 'Bernt Naumann' in Google

Mathias Sporer

This author has not been identified. Look up 'Mathias Sporer' in Google