BibTeX record conf/chdl/Davis93

download as .bib file

@inproceedings{DBLP:conf/chdl/Davis93,
  author    = {Karen C. Davis},
  title     = {A Denotational Definition of the {VHDL} Simulation Kernel},
  booktitle = {Computer Hardware Description Languages and their Applications, Proceedings
               of the 11th {IFIP} {WG10.2} International Conference on Computer Hardware
               Description Languages and their Applications - {CHDL} '93, sponsored
               by {IFIP} {WG10.2} and in cooperation with {IEEE} COMPSOC, Ottawa,
               Ontario, Canada, 26-28 April, 1993},
  pages     = {523--535},
  year      = {1993},
  crossref  = {DBLP:conf/chdl/1993},
  timestamp = {Thu, 03 Jan 2002 11:54:34 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/chdl/Davis93},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/chdl/1993,
  editor    = {David Agnew and
               Luc J. M. Claesen and
               Raul Camposano},
  title     = {Computer Hardware Description Languages and their Applications, Proceedings
               of the 11th {IFIP} {WG10.2} International Conference on Computer Hardware
               Description Languages and their Applications - {CHDL} '93, sponsored
               by {IFIP} {WG10.2} and in cooperation with {IEEE} COMPSOC, Ottawa,
               Ontario, Canada, 26-28 April, 1993},
  series    = {{IFIP} Transactions},
  volume    = {{A-32}},
  publisher = {North-Holland},
  year      = {1993},
  isbn      = {0-444-81641-0},
  timestamp = {Thu, 03 Jan 2002 11:54:34 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/chdl/1993},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}