Deutsch

Hinrichsen, Holger (2001)
Ein transformativer Ansatz für die Synthese und Verifikation algorithmischer Hardwarebeschreibungen.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

Hinrichsen, Holger ; Göhler, R. ; Lipken, H. ; Breilmann, W. (2000)
Economical overvoltage protection by metal-oxide surge arresters integrated in high-voltage AIS disconnectors - substation.
Konferenzveröffentlichung, Bibliographie

Hinrichsen, Holger (2000)
Ein transformativer Ansatz für die Synthese und Verifikation algorithmischer Hardwarebeschreibungen.
Technische Universität Darmstadt
Dissertation, Bibliographie

Hinrichsen, Holger ; Ritter, G. ; Eveking, H. (1999)
Automatische Synthese und Verifikation von RISC-Prozessoren.
Konferenzveröffentlichung, Bibliographie

Englisch

Hinrichsen, Holger ; Ritter, G. ; Eveking, H. (2000)
False-path elimination and simplification of sequential acyclic descriptions with complex branching logic.
Konferenzveröffentlichung, Bibliographie

Hinrichsen, Holger ; Eveking, H. ; Ritter, G. (1999)
Formal synthesis for pipeline design.
Konferenzveröffentlichung, Bibliographie