Mathematics Genealogy

Static mirror of the Mathematics Genealogy Project

Institution
Universität des Saarlandes
Year
2000
Country
Germany
MGP identifier
63151

Dissertation: Formal Synthesis and Verification of Hierarchical Recursive Circuits Based on an Algebraic Calculus of Nets

Advisor 1

Students 0

No students recorded in this snapshot.

Genealogy