BibTeX record journals/fss/Li17

download as .bib file

@article{DBLP:journals/fss/Li17,
  author       = {Yongming Li},
  title        = {Quantitative model checking of linear-time properties based on generalized
                  possibility measures},
  journal      = {Fuzzy Sets Syst.},
  volume       = {320},
  pages        = {17--39},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.fss.2017.03.012},
  doi          = {10.1016/J.FSS.2017.03.012},
  timestamp    = {Tue, 21 Mar 2023 21:14:44 +0100},
  biburl       = {https://dblp.org/rec/journals/fss/Li17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}