Dirk Beyer
Original record- Institution
- Not recorded
- Year
- Not recorded
- Country
- Germany
- MGP identifier
- 146567
Dissertation: Formale Verifikation von Realzeit-Systemen mittels Cottbus Timed Automata
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Claus LewerentzRheinisch-Westfälische Technische Hochschule Aachen · 1988
Students 10
| Name | Institution | Year | Students |
|---|---|---|---|
| Sabine Bauer | Not recorded | — | 0 |
| Matthias Dangl | Not recorded | — | 0 |
| Karlheinz Friedberger | Not recorded | — | 0 |
| Lydia Gauerhof | Not recorded | — | 0 |
| Sudeep Kanav | Not recorded | — | 0 |
| M. Erkan Keremoglu | Simon Fraser University | 2011 | 0 |
| Thomas Lemberger | Not recorded | — | 0 |
| Stefan Löwe | Not recorded | — | 0 |
| Martin Spiessl | Not recorded | — | 0 |
| Philipp Wendler | Not recorded | — | 0 |