@phdthesis{noschinski_formalizing_2015,
  address = {München},
  type = {{PhD} thesis},
  title = {Formalizing {Graph} {Theory} and {Planarity} {Certificates}},
  timestamp = {2015-11-10T16:03:46Z},
  school = {Technische {Universität} {München}},
  author = {Noschinski, {Lars}},
  month = nov,
  year = {2015}
}


