Monika Maidl
Original record- Institution
- Ludwig-Maximilians-Universität Landshut
- Year
- 2000
- Country
- Germany
- MGP identifier
- 239108
Dissertation: Using Model Checking for System Verification
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Helmut SchwichtenbergInstitution not recorded
Students 1
| Name | Institution | Year | Students |
|---|---|---|---|
| Graham Steel | The University of Edinburgh | 2003 | 1 |