Dr.rer.nat. Raffaella Gentilini

was member of the group
from 01/2006 to 12/2008
left for
University of Perugia
research interests
hybrid system verification bisimulation relations
publications
all \| authored \| edited/supervised \| talks

Fachbereich Informatik