ChenZSS07'

BibTeX

@inproceedings{DBLP:conf/imsccs/ChenZSS07,
  author    = {Xiao-Diao Chen and
               Yin Zhou and
               Zhenyu Shu and
               Hua Su},
  title     = {Improved Algebraic Algorithm on Point projection for B},
  booktitle = {IMSCCS},
  year      = {2007},
  pages     = {158-163},
  ee        = {http://dx.doi.org/10.1109/IMSCCS.2007.17},
  crossref  = {DBLP:conf/imsccs/2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/imsccs/2007,
  title     = {Proceeding of the Second International Multi-Symposium of
               Computer and Computational Sciences (IMSCCS 2007), August
               13-15, 2007, The University of Iowa, Iowa City, Iowa, USA},
  booktitle = {IMSCCS},
  publisher = {IEEE},
  year      = {2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}