Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
W. Müller, F.-J. Rammig, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1998.
Download
No fulltext has been uploaded.
Book
| Published
| German
Author
Müller, WolfgangLibreCat;
Rammig, Franz-Josef
Department
Publishing Year
Series Title / Volume
Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn
Volume
36
LibreCat-ID
Cite this
Müller W, Rammig F-J. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. Vol 36. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 1998.
Müller, W., & Rammig, F.-J. (1998). Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (Vol. 36). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
@book{Müller_Rammig_1998, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen}, volume={36}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Müller, Wolfgang and Rammig, Franz-Josef}, year={1998}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
Müller, Wolfgang, and Franz-Josef Rammig. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. Vol. 36. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1998.
W. Müller and F.-J. Rammig, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, vol. 36. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1998.
Müller, Wolfgang, and Franz-Josef Rammig. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1998.
Google Scholar