Ansgar Fehnker
Original record- Institution
- Katholieke Universiteit Nijmegen
- Year
- 2002
- Country
- Netherlands
- MGP identifier
- 93814
Dissertation: Citius, Vilius, Melius: Guiding and Cost-Optimality in Model Checking of Timed and Hybrid Systems
Advisor 1
- Frits Willem VaandragerUniversiteit van Amsterdam · 1990
Students 1
| Name | Institution | Year | Students |
|---|---|---|---|
| Kaylash Chand Chaudhary | The University of the South Pacific | 2018 | 0 |