PandeyJBBYJ95'

BibTeX

@inproceedings{DBLP:conf/iccd/PandeyJBBYJ95,
  author    = {Manish Pandey and
               Alok Jain and
               Randal E. Bryant and
               Derek L. Beatty and
               Gary York and
               Samir Jain},
  title     = {Extraction of finite state machines from transistor netlists
               by symbolic simulation},
  booktitle = {ICCD},
  year      = {1995},
  pages     = {596-601},
  ee        = {http://computer.org/proceedings/iccd/7165/71650596abs.htm},
  crossref  = {DBLP:conf/iccd/1995},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/iccd/1995,
  title     = {1995 International Conference on Computer Design (ICCD '95),
               VLSI in Computers and Processors, October 2-4, 1995, Austin,
               TX, USA, Proceedings},
  publisher = {IEEE Computer Society},
  year      = {1995},
  isbn      = {0-8186-7165-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}