IBR Login
- Institute of Operating Systems and Computer Networks
- News
- About us
- Connected and Mobile Systems
- Distributed Systems
- Algorithms
- Microprocessor Lab
- Education
- Services
- Spin-Offs
- Research Cooperations
Arne Vogel
Ehemaliger Wissenschaftlicher Mitarbeiter
vogel[[at]]ibr.cs.tu-bs.de
Meine persönliche Webseite: www.arnevogel.com
Open theses:
No entries found. |
Running theses:
No entries found. |
Finished theses:
Title | Type | Supervisor | Status |
---|---|---|---|
Implementation of a Tree Structure for the Formal Verification Tool Ivy | Bachelor Thesis | Arne Vogel | finished |
last changed 2022-08-03, 09:23 (dynamic content) by Arne Vogel