BibTeX record conf/vlsi/NacifCFPMMF03

• > Home > conf/vlsi/NacifCFPMMF03

@inproceedings{DBLP:conf/vlsi/NacifCFPMMF03,
  author       = {Jos{\'{e}} Augusto Miranda Nacif and
                  Claudionor Nunes Coelho and
                  Harry Foster and
                  Fl{\'{a}}vio Miana de Paula and
                  Edjard Mota and
                  M{\'{a}}rcia Roberta Falc{\~{a}}o Mota and
                  Ant{\^{o}}nio Ot{\'{a}}vio Fernandes},
  editor       = {Manfred Glesner and
                  Ricardo Augusto da Luz Reis and
                  Leandro Soares Indrusiak and
                  Vincent John Mooney III and
                  Hans Eveking},
  title        = {On-Chip Property Verification Using Assertion Processors},
  booktitle    = {{VLSI-SOC:} From Systems to Chips - {IFIP} {TC} 10/ {WG} 10.5 Twelfth
                  International Conference on Very Large Scale Integration of System
                  on Chip (VLSI-SoC 2003), December 1-3, 2003, Darmstadt, Germany},
  series       = {{IFIP}},
  volume       = {200},
  pages        = {101--117},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/0-387-33403-3\_7},
  doi          = {10.1007/0-387-33403-3\_7},
  timestamp    = {Tue, 26 Jun 2018 14:12:45 +0200},
  biburl       = {https://dblp.org/rec/conf/vlsi/NacifCFPMMF03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}