BibTeX record conf/wism/ZhangSRD11

• > Home > conf/wism/ZhangSRD11

@inproceedings{DBLP:conf/wism/ZhangSRD11,
  author       = {Guangquan Zhang and
                  Huijuan Shi and
                  Mei Rong and
                  Haojun Di},
  editor       = {Zhiguo Gong and
                  Xiangfeng Luo and
                  Junjie Chen and
                  Jingsheng Lei and
                  Fu Lee Wang},
  title        = {Model Checking for Asynchronous Web Service Composition Based on {XYZ/ADL}},
  booktitle    = {Web Information Systems and Mining - International Conference, {WISM}
                  2011, Taiyuan, China, September 24-25, 2011, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {6988},
  pages        = {428--435},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-23982-3\_52},
  doi          = {10.1007/978-3-642-23982-3\_52},
  timestamp    = {Wed, 15 Apr 2020 09:20:23 +0200},
  biburl       = {https://dblp.org/rec/conf/wism/ZhangSRD11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}