Raffael Senn

Contact

Phone: +49 7531  88-4445

Room: PZ 912

Post office box: 067

Office Hours

Appointment via e-mail

Research Interests

  •  Verification of realtime systems