%0 Journal Article %1 journals/fuin/Pan0WC14 %A Pan, Haiyu %A Zhang, Min %A Wu, Hengyang %A Chen, Yixiang %D 2014 %J Fundam. Informaticae %K dblp %N 3 %P 269-293 %T Quantitative Analysis of Lattice-valued Kripke Structures. %U http://dblp.uni-trier.de/db/journals/fuin/fuin135.html#Pan0WC14 %V 135

@article{journals/fuin/Pan0WC14, added-at = {2020-09-18T00:00:00.000+0200}, author = {Pan, Haiyu and Zhang, Min and Wu, Hengyang and Chen, Yixiang}, biburl = {https://www.bibsonomy.org/bibtex/2d4d00c654632520191729dfd351830a3/dblp}, ee = {https://doi.org/10.3233/FI-2014-1122}, interhash = {0144a09e2f413e503d76454b315da842}, intrahash = {d4d00c654632520191729dfd351830a3}, journal = {Fundam. Informaticae}, keywords = {dblp}, number = 3, pages = {269-293}, timestamp = {2020-09-19T11:37:02.000+0200}, title = {Quantitative Analysis of Lattice-valued Kripke Structures.}, url = {http://dblp.uni-trier.de/db/journals/fuin/fuin135.html#Pan0WC14}, volume = 135, year = 2014 }