Theses.bib

@phdthesis{basold_parallelism_2010,
  type = {Bachelor's Thesis},
  title = {Parallelism Investigation for Elliptic Curve Key Exchange},
  url = {http://www.cs.ru.nl/~hbasold/publications/bsc-thesis.pdf},
  school = {TU Braunschweig},
  author = {Basold, Henning},
  month = nov,
  year = {2010}
}

@phdthesis{basold_transformation_2012,
  type = {Master's Thesis},
  title = {{Transformation von Scade-Modellen zur SMT-basierten Verifikation}},
  language = {German},
  archiveprefix = {arXiv},
  eprinttype = {arxiv},
  eprint = {1403.2752},
  url = {http://arxiv.org/abs/1403.2752},
  school = {TU Braunschweig},
  author = {Basold, Henning},
  month = oct,
  year = {2012}
}