YangZCQ08'

BibTeX

@inproceedings{DBLP:conf/sose/YangZCQ08,
  author    = {Hongli Yang and
               Xiangpeng Zhao and
               Chao Cai and
               Zongyan Qiu},
  title     = {Model-Checking of Web Services Choreography},
  booktitle = {SOSE},
  year      = {2008},
  pages     = {79-84},
  ee        = {http://dx.doi.org/10.1109/SOSE.2008.40},
  crossref  = {DBLP:conf/sose/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/sose/2008,
  editor    = {Jonathan Lee and
               Deron Liang and
               Y. C. Cheng},
  title     = {The Fourth IEEE International Symposium on Service-Oriented
               System Engineering, SOSE 2008, 18-19 December 2008, Jhongli,
               Taiwan},
  booktitle = {SOSE},
  publisher = {IEEE Computer Society},
  year      = {2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}