Konferenzverö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 ; Ritter, G. ; Eveking, H. (2000)
False-path elimination and simplification of sequential acyclic descriptions with complex branching logic.
Konferenzveröffentlichung, Bibliographie

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

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

Dissertation

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

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