@phdthesis{Kunz1996,
  author      = {Wolfgang Kunz},
  title       = {Testing techniques in logic synthesis},
  type        = {doctoralthesis},
  pages       = {189 S.},
  year        = {1996},
}