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
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.

Export

Marked Publications

Open Data LibreCat

Search this title in

Google Scholar