Ein praktikables Verfahren zur interaktiven Mikroprogrammtransformation und deren automatischer formaler Verifikation
By: Reinhard Rauscher
Contributors: Universität Hamburg
Published: 1986
Language: ger
Notes: Thesis (doctoral)--Universität Hamburg, 1986.