Angelika Mader
Original record- Institution
- Technische Universität München
- Year
- 1997
- Country
- Germany
- MGP identifier
- 294102
Dissertation: Verification of Modal Properties Using Boolean Equation Systems
Advisor 1
- Wilfried BrauerInstitution not recorded
Students 1
| Name | Institution | Year | Students |
|---|---|---|---|
| Oguzcan Oguz | Universiteit Twente | 2018 | 0 |