JainG92'

BibTeX

@inproceedings{DBLP:conf/iccd/JainG92,
  author    = {Prabhat Jain and
               Ganesh Gopalakrishnan},
  title     = {Some Techniques for Efficient Symbolic Simulation-Based
               Verification},
  booktitle = {ICCD},
  year      = {1992},
  pages     = {598-602},
  crossref  = {DBLP:conf/iccd/1992},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/iccd/1992,
  title     = {Proceedings 1991 IEEE International Conference on Computer
               Design: VLSI in Computer {\&} Processors, ICCD '92, Cambridge,
               MA, USA, October 11-14, 1992},
  booktitle = {ICCD},
  publisher = {IEEE Computer Society},
  year      = {1992},
  isbn      = {0-8186-3110-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}