M.Sc. Daniel Theis

email
E-Mail
phone
+49 631 205 2649
fax
+49 631 205 4409
address
P.O. Box 3049 67653 Kaiserslautern Germany
building/room
48/480
research interests
Formal Verification Model-based Design
publications
all \| authored \| edited/supervised \| talks

Fachbereich Informatik