| Name | Julian Brunner |
| JulianBrunner@gmail.com brunnerj@in.tum.de | |
| Organization | Chair for Logic and Verification (I21) Institut für Informatik Technische Universität München |
| Address | Boltzmannstraße 3 85748 Garching Germany |
| Office | MI 00.09.062 |
| Phone | +49 (89) 289 17336 |
Implementation and Verification of Partial Order Reduction for On-The-Fly Model Checking, Julian Brunner, 2014, Master's Thesis.