Alicia Villanueva
Original record- Institution
- Universitat Politècnica de València
- Year
- 2003
- Country
- Spain
- MGP identifier
- 123794
Dissertation: Model Checking for the Concurrent Constraint Paradigm
Mathematics Subject Classification: 68—Computer science
Advisors 2
- María AlpuenteUniversitat Politècnica de València · 1991
- Moreno FalaschiInstitution not recorded
Students 2
| Name | Institution | Year | Students |
|---|---|---|---|
| Marco Antonio Feliú Gabaldón | Universitat Politècnica de València | 2013 | 0 |
| Laura Titolo | Università degli Studi di Udine | 2014 | 0 |