Dr.-Ing. Kerstin Bauer

email

k_bauer (at) cs.uni-kl.de

was member of the group

from 07/2009 to 07/2013

left for

Helmholtz-Gymnasium Heidelberg

research interests

modeling languages for hybrid systems
hybrid system verification

publications

all | authored | edited/supervised | talks