BibTeX record conf/cocoon/ZhaoWSZ19

• > Home > conf/cocoon/ZhaoWSZ19

@inproceedings{DBLP:conf/cocoon/ZhaoWSZ19,
  author       = {Liang Zhao and
                  Xiaobing Wang and
                  Xinfeng Shu and
                  Nan Zhang},
  editor       = {Ding{-}Zhu Du and
                  Zhenhua Duan and
                  Cong Tian},
  title        = {A Proof System for a Unified Temporal Logic},
  booktitle    = {Computing and Combinatorics - 25th International Conference, {COCOON}
                  2019, Xi'an, China, July 29-31, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11653},
  pages        = {663--676},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-26176-4\_55},
  doi          = {10.1007/978-3-030-26176-4\_55},
  timestamp    = {Wed, 08 Feb 2023 07:42:27 +0100},
  biburl       = {https://dblp.org/rec/conf/cocoon/ZhaoWSZ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}