Haiyu Pan, Min Zhang 0007, Hengyang Wu, Yixiang Chen. Quantitative Analysis of Lattice-valued Kripke Structures. Fundamenta Informaticae, 135(3):269-293, 2014. [doi]
No references recorded for this publication.
No citations of this publication recorded.