@phdthesis{apinis14diss,
  author = {Kalmer Apinis},
  title = {Frameworks for analyzing multi-threaded {C}},
  school = {Institut f\"ur Informatik},
  month = {June},
  year = 2014,
  address = {Technische Universit\"at M\"unchen},
}