Ulrich Hannemann
Original record- Institution
- Universiteit Utrecht
- Year
- 2000
- Country
- Netherlands
- MGP identifier
- 84723
Dissertation: Semantical Analysis of Compositional Proof Methods for Concurrency
Advisors 3
- Jan van LeeuwenUniversiteit Utrecht · 1972
- Willem-Paul de RoeverVrije Universiteit Amsterdam · 1974
- Frank Sipke de BoerVrije Universiteit Amsterdam · 1991
Students 0
No students recorded in this snapshot.