Alberto Lluch Lafuente
Original record- Institution
- Albert-Ludwigs-Universität Freiburg im Breisgau
- Year
- 2003
- Country
- Germany
- MGP identifier
- 132700
Dissertation: Directed Search for the Verification of Communication Protocols
Advisors 2
- Thomas OttmannUniversität Münster · 1971
- Stefan LeueUniversität Bern · 1995
Students 2
| Name | Institution | Year | Students |
|---|---|---|---|
| Stefano Sebastio | IMT Institute for Advanced Studies, Lucca | 2015 | 0 |
| Andrea Vandin | IMT Institute for Advanced Studies, Lucca | 2013 | 0 |