( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Lattice-Valued Kripke Structures Based on Complete Residuated Lattice.

, , и . SERE (Companion), стр. 137-143. IEEE, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Xiaoqing Pan

Petra Pan

Pan Li

Yaling Pan

Weiqing Pan

 

Другие публикации лиц с тем же именем

Bisimilarity for fuzzy doubly Labeled Transition Systems., , и . QLSC, том 5 из World Scientific Proceedings Series on Computer Engineering and Informtion Science, World Scientific, (2012)Bisimulation for Lattice-valued Transition Systems., , и . TASE, стр. 279-282. IEEE Computer Society, (2012)Approximate Simulation for Transition Systems with Regular Expressions., , , и . AILA, том 1657 из Communications in Computer and Information Science, стр. 49-62. Springer, (2022)Approximate Simulation for Metric Hybrid Input/Output Automata., , и . SSIRI (Companion), стр. 53-59. IEEE Computer Society, (2011)Model checking computation tree logic over finite lattices., , , и . Theor. Comput. Sci., (2016)Lattice-Valued Kripke Structures Based on Complete Residuated Lattice., , и . SERE (Companion), стр. 137-143. IEEE, (2012)Modeling and Specification of Nondeterministic Fuzzy Discrete-Event Systems., , , и . Decision Making under Constraints, 276, Springer, (2020)The Approximate Correctness of Systems Based on δ-bisimulation., и . ISDT, том 333 из Electronic Notes in Theoretical Computer Science, стр. 73-87. Elsevier, (2017)Approximate Bisimulation for Metric Doubly Labeled Transition System., , , и . TASE, стр. 108-114. IEEE Computer Society, (2011)Quantitative Analysis of Lattice-valued Kripke Structures., , , и . Fundam. Informaticae, 135 (3): 269-293 (2014)