Dr.rer.nat. Raffaella Gentilini

email

raffaella.gentilini (at) dmi.unipg.it

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