BibTeX record journals/tcad/SegerJOMABS05

download as .bib file

@article{DBLP:journals/tcad/SegerJOMABS05,
  author    = {Carl{-}Johan H. Seger and
               Robert B. Jones and
               John W. O'Leary and
               Thomas F. Melham and
               Mark Aagaard and
               Clark Barrett and
               Don Syme},
  title     = {An industrially effective environment for formal hardware verification},
  journal   = {{IEEE} Trans. on {CAD} of Integrated Circuits and Systems},
  volume    = {24},
  number    = {9},
  pages     = {1381--1405},
  year      = {2005},
  url       = {https://doi.org/10.1109/TCAD.2005.850814},
  doi       = {10.1109/TCAD.2005.850814},
  timestamp = {Sat, 20 May 2017 00:23:53 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcad/SegerJOMABS05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics