Gennaro Parlato
Original record- Institution
- Università di Salerno
- Year
- 2006
- Country
- Italy
- MGP identifier
- 298877
Dissertation: On the Model-Checking of Hierarchical and Recursive State Machines
Advisor 1
- Salvatore La TorreUniversity of Pennsylvania · 2001
Students 1
| Name | Institution | Year | Students |
|---|---|---|---|
| Omar Inverso | University of Southampton | 2015 | 2 |