Paul Molitor
Works:
- 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