Author of the publication

CTL Symbolic Model Checking Based on Fuzzy Logic.

, , and . DASC/PiCom/CBDCom/CyberSciTech, page 380-385. IEEE, (2020)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Quantitative µ-Calculus Model Checking Algorithm Based on Generalized Possibility Measures., , , and . DASC/PiCom/DataCom/CyberSciTech, page 449-453. IEEE, (2019)Quantitative Computation Tree Logic Model Checking Based on Generalized Possibility Measures., and . CoRR, (2014)Computation tree logic model checking based on possibility measures., , and . Fuzzy Sets Syst., (2015)General decrementing service M/G/1 queue with multiple adaptive vacations., and . Appl. Math. Comput., 204 (1): 478-484 (2008)Energy saving strategy and Nash equilibrium of hybrid P2P networks., , , and . J. Parallel Distributed Comput., (2021)Model checking fuzzy computation tree logic of multi-agent systems based on fuzzy interpreted systems., , , , and . Fuzzy Sets Syst., (2024)Performance analysis of batch receiving wireless sensor networks with interference signals., , , and . Int. J. Commun. Networks Distributed Syst., 27 (1): 51-76 (2021)Performance evaluation of wireless communication networks for multi-traffic with multi-channel., , and . WCNC, page 2607-2612. IEEE, (2009)CTL Symbolic Model Checking Based on Fuzzy Logic., , and . DASC/PiCom/CBDCom/CyberSciTech, page 380-385. IEEE, (2020)Performance analysis of P2P network based on differentiated service Geo/Geo/1 + 1 queue., , , , and . Clust. Comput., 27 (7): 9837-9849 (October 2024)