Jiri Srba
Original record- Institution
- Aarhus University
- Year
- 2003
- Country
- Denmark
- MGP identifier
- 124771
Dissertation: Decidability and Complexity Issues for Infinite-State Processes
Advisors 2
- Mogens NielsenAarhus University · 1976
- Mojmír KřetínskýCzech Academy of Sciences · 1986
Students 3
| Name | Institution | Year | Students |
|---|---|---|---|
| Peter Gjøl Jensen | Aalborg Universitet | 2018 | 0 |
| Line Juhl | Aalborg Universitet | 2013 | 0 |
| Simon Borgbjerg Laursen | Aalborg Universitet | 2016 | 0 |