Ulrich Ultes-Nitsche
Original record- Institution
- Not recorded
- Year
- Not recorded
- Country
- Germany
- MGP identifier
- 171710
Dissertation: Verification of Co-operating Systems and Behaviour Abstraction
Mathematics Subject Classification: 68—Computer science
Advisors 2
- Eckart RauboldUniversität Hamburg · 1968
- Peter OchsenschlägerTechnische Universität Darmstadt · 1981
Students 8
| Name | Institution | Year | Students |
|---|---|---|---|
| David Buchmann | Not recorded | — | 0 |
| Daniel Fasel | Not recorded | — | 0 |
| Dominik Jungo | Not recorded | — | 0 |
| Stephan Krenn | Not recorded | — | 0 |
| Carolin Latze | Not recorded | — | 0 |
| Ronny Standtke | Not recorded | — | 0 |
| Simon St James | University of Southampton | 2008 | 0 |
| InSeon Yoo | Not recorded | — | 0 |