Startseite > Publikationen > Publikationen

Publikationen

Müller, Wolfgang;Rammig, Franz-Josef:

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen.

Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 36 , Heinz Nixdorf Institut, Universität Paderborn, 1998, Praktische Informatik, € 25,00, ISBN 3-931466- 35-3

Bibtex

@book{hniid=469,
author = {M{\"u}ller, Wolfgang and Rammig, Franz-Josef},
title = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen},
volume = {36},
series = {Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn},
publisher = {Heinz Nixdorf Institut, Universit{\"a}t Paderborn},
year = {1998},
note = {Praktische Informatik, € 25,00, ISBN 3-931466- 35-3},
}

BibTeX in die Zwischenablage kopieren

Permalink

https://www.hni.uni-paderborn.de/pub/469