ZhangLSDCL09'

BibTeX

@inproceedings{DBLP:conf/seke/ZhangLSDCL09,
  author    = {Shao Jie Zhang and
               Yang Liu 0003 and
               Jun Sun 0001 and
               Jin Song Dong and
               Wei Chen and
               Yanhong A. Liu},
  title     = {Formal Verification of Scalable NonZero Indicators},
  booktitle = {SEKE},
  year      = {2009},
  pages     = {406-411},
  crossref  = {DBLP:conf/seke/2009},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/seke/2009,
  title     = {Proceedings of the 21st International Conference on Software
               Engineering {\&} Knowledge Engineering (SEKE'2009), Boston,
               Massachusetts, USA, July 1-3, 2009},
  booktitle = {SEKE},
  publisher = {Knowledge Systems Institute Graduate School},
  year      = {2009},
  isbn      = {1-891706-24-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}