DBLP Record 'conf/glvlsi/KimSM05'

BibTeX

@inproceedings{DBLP:conf/glvlsi/KimSM05,
  author    = {Youngsik Kim and
               Parija Sule and
               Nazanin Mansouri},
  title     = {Exploiting PSL standard assertions in a theorem-proving-based
               verification environment},
  booktitle = {ACM Great Lakes Symposium on VLSI},
  year      = {2005},
  pages     = {400-403},
  ee        = {http://doi.acm.org/10.1145/1057661.1057756},
  crossref  = {DBLP:conf/glvlsi/2005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/glvlsi/2005,
  editor    = {John Lach and
               Gang Qu and
               Yehea I. Ismail},
  title     = {Proceedings of the 15th ACM Great Lakes Symposium on VLSI
               2005, Chicago, Illinois, USA, April 17-19, 2005},
  booktitle = {ACM Great Lakes Symposium on VLSI},
  publisher = {ACM},
  year      = {2005},
  isbn      = {1-59593-057-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}