@article{HorauerWidhalmTauneretal.,
  author    = {Horauer, Martin and Widhalm, Dominik and Tauner, Stefan and Mirtl, Stefan},
  title     = {Verification challenges of complex system-on-chip devices},
  series = {e \& i Elektrotechnik und Informationstechnik: Volume 132, Issue 6 (2015)},
  journal   = {e \& i Elektrotechnik und Informationstechnik: Volume 132, Issue 6 (2015)},
  number    = {e \& i Elektrotechnik und Informationstechnik: Volume 132, Issue 6 (2015)},
  pages     = {Page 269-273},
  subject      = {Embedded Systems},
  language  = {en}
}