%0 Journal Article %1 journals/corr/Li16b %A Li, Yongming %D 2016 %J CoRR %K dblp %T Quantitative Model Checking of Linear-Time Properties Based on Generalized Possibility Measures. %U http://dblp.uni-trier.de/db/journals/corr/corr1601.html#Li16b %V abs/1601.06504

@article{journals/corr/Li16b, added-at = {2018-08-24T00:00:00.000+0200}, author = {Li, Yongming}, biburl = {https://www.bibsonomy.org/bibtex/224f66d75f244a8227a2b9bb615d656bd/dblp}, ee = {http://arxiv.org/abs/1601.06504}, interhash = {5c171f7cf08f0bf65a9a87ad20dbd905}, intrahash = {24f66d75f244a8227a2b9bb615d656bd}, journal = {CoRR}, keywords = {dblp}, timestamp = {2018-08-25T11:37:45.000+0200}, title = {Quantitative Model Checking of Linear-Time Properties Based on Generalized Possibility Measures.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1601.html#Li16b}, volume = {abs/1601.06504}, year = 2016 }