Barbara König
Original record- Institution
- Not recorded
- Year
- Not recorded
- Country
- Germany
- MGP identifier
- 149855
Dissertation: Description and Verification of Mobile Processes with Graph Rewriting Techniques
Mathematics Subject Classification: 94—Information and communication, circuits
Advisors 2
- Javier EsparzaUniversidad de Zaragoza · 1990
- Jürgen EickelInstitution not recorded
Students 7
| Name | Institution | Year | Students |
|---|---|---|---|
| Christoph Blume | Universität Duisburg-Essen | 2014 | 0 |
| Tobias Heindel | Universität Duisburg-Essen | 2009 | 0 |
| Henning Kerstan | Universität Duisburg-Essen | 2016 | 0 |
| Vitaly Kozyura | Universität Duisburg-Essen | 2009 | 0 |
| Sebastian Küpper | Universität Duisburg-Essen | 2017 | 0 |
| Okan Özkan | Not recorded | — | 0 |
| Jan Stückrath | Universität Duisburg-Essen | 2016 | 0 |