BibTeX record journals/tvlsi/ChandraIJJNRMYAGW95

download as .bib file

@article{DBLP:journals/tvlsi/ChandraIJJNRMYAGW95,
  author       = {Ashok K. Chandra and
                  Vijay S. Iyengar and
                  D. Jameson and
                  R. V. Jawalekar and
                  Indira Nair and
                  Barry K. Rosen and
                  Michael P. Mullen and
                  J. Yoon and
                  R. Armoni and
                  Daniel Geist and
                  Yaron Wolfsthal},
  title        = {{AVPGEN-A} test generator for architecture verification},
  journal      = {{IEEE} Trans. Very Large Scale Integr. Syst.},
  volume       = {3},
  number       = {2},
  pages        = {188--200},
  year         = {1995},
  url          = {https://doi.org/10.1109/92.386220},
  doi          = {10.1109/92.386220},
  timestamp    = {Wed, 11 Mar 2020 18:16:55 +0100},
  biburl       = {https://dblp.org/rec/journals/tvlsi/ChandraIJJNRMYAGW95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics