- lutz.klinkenberg at cs.rwth-aachen.de
- Room 4203
- +49 241 80 21206
I am a PhD student at the Software Modeling and Verification Group headed by Professor J.-P. Katoen. I am a member of the FRAPPANT project working on probabilistic programs.
Publications for Lutz Klinkenberg