DBLP Record 'conf/vlsi/Winkelmann03'

BibTeX

@inproceedings{DBLP:conf/vlsi/Winkelmann03,
  author    = {Klaus Winkelmann},
  title     = {Formal Verification},
  booktitle = {VLSI-SOC},
  year      = {2003},
  pages     = {10-},
  crossref  = {DBLP:conf/vlsi/2003soc},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/vlsi/2003soc,
  editor    = {Manfred Glesner and
               Ricardo Augusto da Luz Reis and
               Hans Eveking and
               Vincent John Mooney III and
               Leandro Soares Indrusiak and
               Peter Zipf},
  title     = {IFIP VLSI-SoC 2003, IFIP WG 10.5 International Conference
               on Very Large Scale Integration of System-on-Chip, Darmstadt,
               Germany, 1-3 December 2003},
  booktitle = {VLSI-SoC},
  publisher = {Technische Universit{\"a}t Darmstadt, Insitute of Microelectronic
               Systems},
  year      = {2003},
  isbn      = {3-901882-17-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}