DBLP Record 'conf/charme/ShankarS97'

BibTeX

@inproceedings{DBLP:conf/charme/ShankarS97,
  author    = {Subash Shankar and
               James R. Slagle},
  title     = {A polymodal semantics for VHDL},
  booktitle = {CHARME},
  year      = {1997},
  pages     = {88-105},
  crossref  = {DBLP:conf/charme/1997},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/charme/1997,
  editor    = {Hon F. Li and
               David K. Probst},
  title     = {Advances in Hardware Design and Verification, IFIP WG 10.5
               International Conference on Correct Hardware Design and
               Verification Methods, 16-18 October 1997, Montr{\'e}al,
               Qu{\'e}bec, Canada},
  booktitle = {CHARME},
  publisher = {Chapman {\&} Hall},
  series    = {IFIP Conference Proceedings},
  volume    = {105},
  year      = {1997},
  isbn      = {0-412-81330-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}