BibTeX record conf/cloudcomp/RenDYZH15

• > Home > conf/cloudcomp/RenDYZH15

@inproceedings{DBLP:conf/cloudcomp/RenDYZH15,
  author       = {Gang Ren and
                  Pan Deng and
                  Chao Yang and
                  Jianwei Zhang and
                  Qingsong Hua},
  editor       = {Yin Zhang and
                  Limei Peng and
                  Chan{-}Hyun Youn},
  title        = {A Formal Approach for Modeling and Verification of Distributed Systems},
  booktitle    = {Cloud Computing - 6th International Conference, CloudComp 2015, Daejeon,
                  South Korea, October 28-29, 2015, Proceedings},
  series       = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
                  and Telecommunications Engineering},
  volume       = {167},
  pages        = {317--322},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-38904-2\_33},
  doi          = {10.1007/978-3-319-38904-2\_33},
  timestamp    = {Wed, 20 Sep 2023 08:24:12 +0200},
  biburl       = {https://dblp.org/rec/conf/cloudcomp/RenDYZH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}