Jan Broersen
Original record- Institution
- Universiteit Utrecht
- Year
- 2003
- Country
- Netherlands
- MGP identifier
- 234529
Dissertation: Modal Action Logics for Reasoning about Reactive Systems
Mathematics Subject Classification: 68—Computer science
Advisors 3
- Roel J. WieringaVrije Universiteit Amsterdam · 1990
- John-Jules Charles MeyerVrije Universiteit Amsterdam · 1985
- Reinder Pieter van de RietUniversiteit van Amsterdam · 1968
Students 2
| Name | Institution | Year | Students |
|---|---|---|---|
| Hein Duijf | Universiteit Utrecht | 2018 | 0 |
| Paolo Turrini | Universiteit Utrecht | 2011 | 5 |