BibTeX record conf/services/CaiLYG16

• > Home > conf/services/CaiLYG16

@inproceedings{DBLP:conf/services/CaiLYG16,
  author       = {Guoray Cai and
                  Ying Li and
                  Yuyu Yin and
                  Honghao Gao},
  editor       = {Rami Bahsoon and
                  Liang{-}Jie Zhang},
  title        = {The 2016 {IEEE} Services Emerging Technology Track on Formal Methods
                  in Services and Cloud Computing (FM-S{\&}C 2016) Workshop Summary},
  booktitle    = {{IEEE} World Congress on Services, {SERVICES} 2016, San Francisco,
                  CA, USA, June 27 - July 2, 2016},
  pages        = {26},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/SERVICES.2016.32},
  doi          = {10.1109/SERVICES.2016.32},
  timestamp    = {Fri, 24 Mar 2023 00:02:32 +0100},
  biburl       = {https://dblp.org/rec/conf/services/CaiLYG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}