BibTeX record conf/icebe/DaiBZ07

download as .bib file

@inproceedings{DBLP:conf/icebe/DaiBZ07,
  author       = {Guilan Dai and
                  Xiaoying Bai and
                  Chongchong Zhao},
  editor       = {S. C. 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, 24 Mar 2023 00:02:43 +0100},
  biburl       = {https://dblp.org/rec/conf/icebe/DaiBZ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics