BibTeX record conf/vlsi/WilseyMS91

download as .bib file

@inproceedings{DBLP:conf/vlsi/WilseyMS91,
  author    = {Philip A. Wilsey and
               Timothy J. McBrayer and
               David Sims},
  title     = {Towards a Formal Model of {VLSI} Systems Compativle with {VHDL}},
  booktitle = {{VLSI}},
  pages     = {225--236},
  year      = {1991},
  timestamp = {Thu, 03 Jan 2002 12:11:05 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/vlsi/WilseyMS91},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier