Dr. Daniel Stan

	Mr. Daniel Stan
Email:
Post:	TU Kaiserslautern Postfach 3049 67653 Kaiserslautern
Hausadresse:	Geb. 34, Raum 428 Gottlieb-Daimler-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.

---