GitHub - mariusschulz/bachelors-thesis: My Bachelor's Thesis in computer science, written at Technical University of Munich.
![GitHub - mariusschulz/bachelors-thesis: My Bachelor's Thesis in computer science, written at Technical University of Munich. GitHub - mariusschulz/bachelors-thesis: My Bachelor's Thesis in computer science, written at Technical University of Munich.](https://raw.githubusercontent.com/mariusschulz/bachelors-thesis/master/thesis.png)
GitHub - mariusschulz/bachelors-thesis: My Bachelor's Thesis in computer science, written at Technical University of Munich.
![Thesis topics at Semantics and Verification of Parallel Systems – Semantics and Verification of Parallel Systems – TU Darmstadt Thesis topics at Semantics and Verification of Parallel Systems – Semantics and Verification of Parallel Systems – TU Darmstadt](https://www.informatik.tu-darmstadt.de/media/svpsys/buehnenbilder_3/buehne_thesis2.png)