Home
News
People
Teaching
Thesis Projects
Lectures
Concurrency Theory
Model Checking
Probabilistic Programming
Semantics and Verification of Software
Seminars and Practical Courses
Practical Course Model Checking
Proseminar Datenstrukturen und Algorithmen
Seminar Trends in Computer-Aided Verification
Research
Publications
Projects
Contact
Theory of Hybrid Systems
LuFG i2
Home
People
Elke Ohlenforst
Elke Ohlenforst
Email
ohlenforst at cs.rwth-aachen.de
Address
Room 4213
Ahornstraße 55
D-52074 Aachen
Phone
+49 241 80 21201
Secretary
