Richard Mayr
Original record- Institution
- Technische Universität München
- Year
- 1998
- Country
- Germany
- MGP identifier
- 149847
Dissertation: Decidability and Complexity of Model-Checking Problems for Infinite State Systems
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Javier EsparzaUniversidad de Zaragoza · 1990
Students 6
| Name | Institution | Year | Students |
|---|---|---|---|
| Noomene Ben Henda | Uppsala universitet | 2008 | 0 |
| Radu Ciobanu | The University of Edinburgh | 2019 | 0 |
| Lorenzo Clemente | The University of Edinburgh | 2012 | 0 |
| Ricardo Manuel de Oliveira Almeida | The University of Edinburgh | 2017 | 0 |
| Anthony Widjaja Lin (To) | The University of Edinburgh | 2010 | 2 |
| Patrick Totzke | The University of Edinburgh | 2014 | 2 |