Hengyang Wu, Yixiang Chen, Tian-Ming Bu, Yuxin Deng. Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems. Fuzzy Sets and Systems, 333:106-123, 2018. [doi]
No references recorded for this publication.
No citations of this publication recorded.