@article{Wosnitza1987,
  author    = {Wosnitza, Franz},
  title     = {Ein Testbarkeitsanalysemaß f{\"u}r den testfreundlichen Entwurf integrierter Schaltkreise auf Register-Transfer-Niveau},
  series = {ITG-Fachberichte. 98 (1987)},
  journal   = {ITG-Fachberichte. 98 (1987)},
  pages     = {291 -- 295},
  year      = {1987},
  language  = {de}
}
@book{Wosnitza1987,
  author    = {Wosnitza, Franz},
  title     = {Werkzeuge des MIMOLA-Hardware-Entwurfssystems. / Kelle, K. ; Kr{\"u}ger, G. ; Marwedel, P. ; Nowak, L. ; Terasa, L. ; Wosnitza, F.},
  publisher = {Inst., Univ.},
  address   = {Kiel},
  pages     = {187 S.},
  year      = {1987},
  language  = {de}
}