Springe zum Hauptinhalt
Technische Informatik
Publikationen

Ein kompositioneller Ansatz zur Synthese von Datenpfaden

Karlheinz Agsteiner | Dieter Monjau | Bernt Naumann | Mathias Sporer
Februar 1999


TypInProceedings
Quelle Proc. des GI/ITG/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen S. 131 - 140
AdresseBraunschweig
ISBN3-8265-4684-9
Bibtex Anzeigen