BibTeX record conf/dasc/ZhangJMZ19

• > Home > conf/dasc/ZhangJMZ19

@inproceedings{DBLP:conf/dasc/ZhangJMZ19,
  author       = {Panqing Zhang and
                  Jiulei Jiang and
                  Zhanyou Ma and
                  Heng Zhu},
  title        = {Quantitative {\(\mathrm{\mu}\)}-Calculus Model Checking Algorithm
                  Based on Generalized Possibility Measures},
  booktitle    = {2019 {IEEE} Intl Conf on Dependable, Autonomic and Secure Computing,
                  Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud
                  and Big Data Computing, Intl Conf on Cyber Science and Technology
                  Congress, DASC/PiCom/CBDCom/CyberSciTech 2019, Fukuoka, Japan, August
                  5-8, 2019},
  pages        = {449--453},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/DASC/PiCom/CBDCom/CyberSciTech.2019.00091},
  doi          = {10.1109/DASC/PICOM/CBDCOM/CYBERSCITECH.2019.00091},
  timestamp    = {Sun, 10 Nov 2019 16:48:12 +0100},
  biburl       = {https://dblp.org/rec/conf/dasc/ZhangJMZ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}