Rolf Drechsler
Informatiker
Geboren:
1969
Werke:
- Ordered Kronecker functional decision diagrams und ihre Anwendung
- Accurate binary-level symbolic execution of embedded firmware
- Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
- Aspekte der Technischen Informatik : Festschrift zum 60. Geburtstag von Bernd Becker