DBLP Record 'conf/iat/LuoSSC08'

BibTeX

@inproceedings{DBLP:conf/iat/LuoSSC08,
  author    = {Xiangyu Luo and
               Kaile Su and
               Abdul Sattar and
               Yan Chen},
  title     = {Solving Sum and Product Riddle via BDD-Based Model Checking},
  booktitle = {Web Intelligence/IAT Workshops},
  year      = {2008},
  pages     = {630-633},
  ee        = {http://dx.doi.org/10.1109/WIIAT.2008.277},
  crossref  = {DBLP:conf/iat/2008w},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/iat/2008w,
  title     = {Proceedings of the 2008 IEEE/WIC/ACM International Conference
               on Web Intelligence and International Conference on Intelligent
               Agent Technology - Workshops, 9-12 December 2008, Sydney,
               NSW, Australia},
  booktitle = {Web Intelligence/IAT Workshops},
  publisher = {IEEE},
  year      = {2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}