Search: (more)
Header

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