Paul Molitor
Informatiker
Geboren:
1959
Hat mitgewirkt an:
-
A coverage measure for bounded model checking
-
Einführung in den VLSI-Entwurf : mit zahlreichen Abbildungen und Beispielen
-
Beiträge zur Informatik : Herrn apl. Prof. Karl-Heinz Rauchhaus zum 60. Geburtstag gewidmet
-
Datenstrukturen und effiziente Algorithmen für die Logiksynthese kombinatorischer Schaltungen