DBLP Record 'journals/ieicet/JesserLPWRHFKR08'

BibTeX

@article{DBLP:journals/ieicet/JesserLPWRHFKR08,
  author    = {Alexander Jesser and
               Stefan Laemmermann and
               Alexander Pacholik and
               Roland Weiss and
               J{\"u}rgen Ruf and
               Lars Hedrich and
               Wolfgang Fengler and
               Thomas Kropf and
               Wolfgang Rosenstiel},
  title     = {Advanced Assertion-Based Design for Mixed-Signal Verification},
  journal   = {IEICE Transactions},
  volume    = {91-A},
  number    = {12},
  year      = {2008},
  pages     = {3548-3555},
  ee        = {http://dx.doi.org/10.1093/ietfec/e91-a.12.3548},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}