BibTeX record conf/icebe/DaiBZ07

• > Home > conf/icebe/DaiBZ07

@inproceedings{DBLP:conf/icebe/DaiBZ07,
  author       = {Guilan Dai and
                  Xiaoying Bai and
                  Chongchong Zhao},
  editor       = {Shing{-}Chi Cheung and
                  Yinsheng Li and
                  Kuo{-}Ming Chao and
                  Muhammad Younas and
                  Jen{-}Yao Chung},
  title        = {A Framework for Model Checking Web Service Compositions Based on {BPEL4WS}},
  booktitle    = {Proceedings of {ICEBE} 2007, {IEEE} International Conference on e-Business
                  Engineering and the Workshops {SOAIC} 2007, {SOSE} 2007, {SOKM} 2007,
                  24-26 October, 2007, Hong Kong, China},
  pages        = {165--172},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/ICEBE.2007.11},
  doi          = {10.1109/ICEBE.2007.11},
  timestamp    = {Fri, 02 Aug 2024 10:57:36 +0200},
  biburl       = {https://dblp.org/rec/conf/icebe/DaiBZ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}