@phdthesis{Wildner1997,
  author      = {Uwe Wildner},
  title       = {CASC : compiler assisted self-checking of structural integrity},
  type        = {doctoralthesis},
  pages       = {XIV, 134 S. : graph. Darst.},
  year        = {1997},
}