Dr. Daniel Stan

Mr. Daniel Stan
Email:
Post:TU Kaiserslautern
Postfach 3049
67653 Kaiserslautern
Hausadresse:Geb. 34, Raum 428
Gottlieb-Damler-Str
67663 Kaiserslautern
Email: stan [at] cs.uni-kl.de
Phone: (0631) 205-3357


I am mostly interested in the verification of parameterized and/or stochastic systems.