GopalakrishnanGHMN97'

BibTeX

@inproceedings{DBLP:conf/charme/GopalakrishnanGHMN97,
  author    = {Ganesh Gopalakrishnan and
               Rajnish Ghughal and
               Ravi Hosabettu and
               Abdelillah Mokkedem and
               Ratan Nalumasu},
  title     = {Formal modeling and validation applied to a commercial coherent
               bus: a case study},
  booktitle = {CHARME},
  year      = {1997},
  pages     = {48-62},
  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}
}