@phdthesis{Schmidt2012,
  author    = {Schmidt, Alexander},
  title     = {KStructur : ein Ansatz zur Analyse und Beschreibung von Nebenl{\"a}ufigkeit in Betriebssystemen},
  publisher = {Guvillier},
  address   = {G{\"o}ttingen},
  isbn      = {978-3-86955-977-1},
  pages     = {170 S.},
  year      = {2012},
  language  = {de}
}
@article{Schmidt2010,
  author    = {Schmidt, Alexander},
  title     = {Automatic extraction of locking protocols},
  isbn      = {978-3-86956-036-6},
  year      = {2010},
  language  = {en}
}