Susanne Graf
Original record- Institution
- Institut National Polytechnique de Grenoble (INPG)
- Year
- 1984
- Country
- France
- MGP identifier
- 131888
Dissertation: Logiques du temps arborescent pour la spécification et la preuve de programmes
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Joseph SifakisInstitution not recorded
Students 2
| Name | Institution | Year | Students |
|---|---|---|---|
| Steffen Prochnow | Christian-Albrechts-Universität zu Kiel | 2008 | 0 |
| Sophie Quinton | Université de Grenoble | 2011 | 0 |