Bernd E. Finkbeiner
Original record- Institution
- Stanford University
- Year
- 2002
- Country
- United States
- MGP identifier
- 159601
Dissertation: Verification Algorithms Based on Alternating Automata
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Zohar MannaCarnegie Mellon University · 1968
Students 9
| Name | Institution | Year | Students |
|---|---|---|---|
| Rayna Dimitrova | Not recorded | — | 0 |
| Klaus Dräger | Not recorded | — | 0 |
| Rüdiger Ehlers | Not recorded | — | 0 |
| Thomas Martin Gawlitza | Not recorded | — | 0 |
| Lars Kuhtz | Not recorded | — | 0 |
| Andrey Kupriyanov | Not recorded | — | 0 |
| Hans-Jörg Peter | Universität des Saarlandes | 2012 | 0 |
| Markus N. Rabe | Not recorded | — | 0 |
| Sven Schewe | Universität des Saarlandes | 2008 | 4 |