BibTeX record conf/cscwd/ZhangDT13

• > Home > conf/cscwd/ZhangDT13

@inproceedings{DBLP:conf/cscwd/ZhangDT13,
  author       = {Peng Zhang and
                  Zhenhua Duan and
                  Cong Tian},
  editor       = {Weiming Shen and
                  Weidong Li and
                  Jean{-}Paul A. Barth{\`{e}}s and
                  Junzhou Luo and
                  Haibin Zhu and
                  Jianming Yong and
                  Xiaoping Li},
  title        = {Simulation of {CTCS-3} protocol with temporal logic programming},
  booktitle    = {Proceedings of the 2013 {IEEE} 17th International Conference on Computer
                  Supported Cooperative Work in Design (CSCWD), Whistler, BC, Canada,
                  June 27-29, 2013},
  pages        = {72--77},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.1109/CSCWD.2013.6580942},
  doi          = {10.1109/CSCWD.2013.6580942},
  timestamp    = {Mon, 29 Jul 2024 16:18:15 +0200},
  biburl       = {https://dblp.org/rec/conf/cscwd/ZhangDT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}