BibTeX record conf/ecbs/VinhB05

download as .bib file

@inproceedings{DBLP:conf/ecbs/VinhB05,
  author       = {Phan Cong Vinh and
                  Jonathan P. Bowen},
  title        = {Semantics of {RTL} and Validation of Synthesized {RTL} Designs Using
                  Formal Verification in Reconfigurable Computing Systems},
  booktitle    = {12th {IEEE} International Conference on the Engineering of Computer-Based
                  Systems {(ECBS} 2005), 4-7 April 2005, Greenbelt, MD, {USA}},
  pages        = {247--254},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/ECBS.2005.61},
  doi          = {10.1109/ECBS.2005.61},
  timestamp    = {Thu, 23 Mar 2023 23:58:34 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/VinhB05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics