Haiyu Pan, Yongzhi Cao, Min Zhang 0007, Yixiang Chen. Simulation for lattice-valued doubly labeled transition systems. Int. J. Approx. Reasoning, 55(3):797-811, 2014. [doi]
No references recorded for this publication.
No citations of this publication recorded.