( en | de | ru )

 

Disambiguation of "Zhang, Wenhui"

Author of the publication

copydeleteadd this publication to your clipboard
SAT-Based Verification of LTL Formulas.

. FMICS/PDMC, volume 4346 of Lecture Notes in Computer Science, page 277-292. Springer, (2006)

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.

Wenhui Zhang

Wenhui Zhang

Wenhui Huang

Wenhui Li

Wenhui Sun

 

Other publications of authors with the same name

OpenNetVM: A Platform for High Performance Network Service Chains., , , , , , , and . HotMiddlebox@SIGCOMM, page 26-31. ACM, (2016)Combining Static Analysis and Case-Based Search Space Partitioning for Reducing Peak Memory in Model Checking.. J. Comput. Sci. Technol., 18 (6): 762-770 (2003)An introduction to INCAPS system., , and . J. Comput. Sci. Technol., 8 (1): 26-37 (1993)Termination analysis with recursive calling graphs., and . ComComAP, page 276-282. IEEE, (2014)On Completeness Results of Hoare Logic Relative to the Standard Model., , and . CoRR, (2017)Enhancing the Security of Protocols against Actor Key Compromise Problems., and . CoRR, (2015)SAT-Based Verification of LTL Formulas.. FMICS/PDMC, volume 4346 of Lecture Notes in Computer Science, page 277-292. Springer, (2006)Characterization and Verification of Stuttering Equivalence., and . Symposium on Real-Time and Hybrid Systems, volume 11180 of Lecture Notes in Computer Science, Springer, (2018)一种基于屏蔽码的ABAC静态策略冲突与冗余检测算法 (ABAC Static Policy Conflict and Redundancy Detection Algorithm Based on Mask Key)., , , and . 计算机科学, 45 (2): 197-202 (2018)Land Cover Changes of the Qilian Mountain National Park in Northwest China Based on Phenological Features and Sample Migration from 1990 to 2020., , , and . Remote. Sens., 15 (4): 1074 (February 2023)