TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 6.

Hinrichsen, Holger (2001):
Ein transformativer Ansatz für die Synthese und Verifikation algorithmischer Hardwarebeschreibungen.
Darmstadt, Technische Universität, TU Darmstadt,
[Ph.D. Thesis]

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.
In: Cigre Session 2000 <2000, Paris>: S. 1-10, [Conference or Workshop Item]

Hinrichsen, Holger (2000):
Ein transformativer Ansatz für die Synthese und Verifikation algorithmischer Hardwarebeschreibungen.
Darmstadt, Technische Univ. Darmstadt, TU Darmstadt,
[Ph.D. Thesis]

Hinrichsen, Holger ; Ritter, G. ; Eveking, H. (2000):
False-path elimination and simplification of sequential acyclic descriptions with complex branching logic.
In: AAA Workshop <2000, Rocquencourt>: Proceedings, [Conference or Workshop Item]

Hinrichsen, Holger ; Ritter, G. ; Eveking, H. (1999):
Automatische Synthese und Verifikation von RISC-Prozessoren.
In: GI/ITG/GMM-Workshop <1999, Braunschweig>: Proceedings. Hrsg.: M. Mutz, M. Lange. - Aachen: Shaker, 1999, Aachen, Shaker, [Conference or Workshop Item]

Hinrichsen, Holger ; Eveking, H. ; Ritter, G. (1999):
Formal synthesis for pipeline design.
In: DMTCS+CATS'99: International Conference on Discrete Mathematics and Theoretical Computer Science <2, 1999, Auckland>: Proceedings. - Berlin (u.a.): Springer, 1999, Berlin (u.a.), Springer, [Conference or Workshop Item]

This list was generated on Tue Sep 21 10:01:33 2021 CEST.