BibTeX record conf/isola/PuZHQYZ06

download as .bib file

@inproceedings{DBLP:conf/isola/PuZHQYZ06,
  author       = {Geguang Pu and
                  Huibiao Zhu and
                  Jifeng He and
                  Zongyan Qiu and
                  Hongli Yang and
                  Xiangpeng Zhao},
  title        = {Patterns with Algebraic Properties in {BPEL0}},
  booktitle    = {Leveraging Applications of Formal Methods, Second International Symposium,
                  ISoLA 2006, Paphos, Cyprus, 15-19 November 2006},
  pages        = {363--370},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/ISoLA.2006.57},
  doi          = {10.1109/ISOLA.2006.57},
  timestamp    = {Thu, 23 Mar 2023 23:59:43 +0100},
  biburl       = {https://dblp.org/rec/conf/isola/PuZHQYZ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics