1997'

@proceedings{DBLP:conf/charme/1997,
  editor    = {Hon Fung 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}
}