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, Heinz Nixdorf Institut, Universität Paderborn, 1998.

Download
No fulltext has been uploaded.
Book | German
Author
;
Publishing Year
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. Heinz Nixdorf Institut, Universität Paderborn; 1998.
Müller, W., & Rammig, F.-J. (1998). Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (Vol. 36). Heinz Nixdorf Institut, Universität 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={Heinz Nixdorf Institut, Universität 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. Heinz Nixdorf Institut, Universität Paderborn, 1998.
W. Müller and F.-J. Rammig, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, vol. 36. Heinz Nixdorf Institut, Universität Paderborn, 1998.
Müller, Wolfgang, and Franz-Josef Rammig. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. Vol. 36, Heinz Nixdorf Institut, Universität Paderborn, 1998.

Export

Marked Publications

Open Data LibreCat

Search this title in

Google Scholar