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
|
|