BaulchHT95'

BibTeX

@inproceedings{DBLP:conf/glvlsi/BaulchHT95,
  author    = {Garth Baulch and
               David Hemmendinger and
               Cherrice Traver},
  title     = {Analyzing and verifying locally clocked circuits with the
               concurrency workbench},
  booktitle = {Great Lakes Symposium on VLSI},
  year      = {1995},
  pages     = {144-147},
  ee        = {http://csdl.computer.org/comp/proceedings/glsvlsi/1995/7035/00/70350144abs.htm},
  crossref  = {DBLP:conf/glvlsi/1995},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/glvlsi/1995,
  title     = {5th Great Lakes Symposium on VLSI (GLS-VLSI '95),  March
               16-18, 1995, The State University of New York at Buffalo,
               USA},
  booktitle = {Great Lakes Symposium on VLSI},
  publisher = {IEEE Computer Society},
  year      = {1995},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}