TY - RPRT TI - Limited bisimulations for nondeterministic fuzzy transition systems AU - Sha Qiao AU - Jun e Feng AU - Ping Zhu PY - 2023 UR - https://arxiv.org/abs/2311.15235 ID - 2311.15235 ER -