Stefan Conrad
Original record- Institution
- Not recorded
- Year
- Not recorded
- Country
- Germany
- MGP identifier
- 134457
Dissertation: Ein Basiskalkül für die Verifikation von Eigenschaften synchron interagierender Objekte (A Basis Calculus for Verifying Properties of Synchronously Interacting Objects)
Mathematics Subject Classification: 68—Computer science
Advisors 2
- Hans-Dieter EhrichInstitution not recorded
- Rudolf KruseTechnische Universität Carolo-Wilhelmina zu Braunschweig · 1980
Students 19
| Name | Institution | Year | Students |
|---|---|---|---|
| Sadet Alcic | Not recorded | — | 0 |
| Evgeniya Altareva | Not recorded | — | 0 |
| Kahraman Ayyildiz | Not recorded | — | 0 |
| Cristian Pérez de Laborda Schwankhart | Not recorded | — | 0 |
| Ludmila Himmelspach | Not recorded | — | 0 |
| Hieu Quang Le | Not recorded | — | 0 |
| John Mehnert-Spahn | Not recorded | — | 0 |
| Marc-Florian Müller | Not recorded | — | 0 |
| Thi Thuy Anh Nguyen | Not recorded | — | 0 |
| Asem Omari | Not recorded | — | 0 |
| Ingo Paulsen | Not recorded | — | 0 |
| Christopher Popfinger | Not recorded | — | 0 |
| Mireille Samia | Not recorded | — | 0 |
| Tim Schlüter | Not recorded | — | 0 |
| Thomas Scholz | Not recorded | — | 0 |
| Maximilian Viermetz | Not recorded | — | 0 |
| Johanna Vompras | Not recorded | — | 0 |
| Katrin Simone Zaiß | Not recorded | — | 0 |
| Jiwu Zhao | Not recorded | — | 0 |