( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Transformation from p-π to MSVL.

, и . ICTAC, том 8049 из Lecture Notes in Computer Science, стр. 267-281. Springer, (2013)

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.

Zhenhua Duan

Zhenhua Zhang

Zhenhua Rong

Zhenhua Wang

Zhenhua Wang

 

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

Decidability of Propositional Projection Temporal Logic with Infinite Models., и . TAMC, том 4484 из Lecture Notes in Computer Science, стр. 521-532. Springer, (2007)Unified temporal logic., , и . Theor. Comput. Sci., (2021)An Approach to Agent Path Planning Under Temporal Logic Constraints., , , и . COCOON (2), том 14423 из Lecture Notes in Computer Science, стр. 82-93. Springer, (2023)An Approach for Automatically Generating Traces for Python Programs., , и . DSA, стр. 262-268. IEEE, (2022)A dynamic approach to detecting, eliminating and fixing memory leaks., , , , и . J. Comb. Optim., 42 (3): 409-426 (2021)Multi-keyword ranked search with access control for multiple data owners in the cloud., , , , и . J. Inf. Secur. Appl., (2024)Detecting Atomicity Violations in Interrupt-Driven Programs via Interruption Points Selecting and Delayed ISR-Triggering., , , , , , , , , и . ESEC/SIGSOFT FSE, стр. 1153-1164. ACM, (2023)A decision procedure and complete axiomatization for projection temporal logic., , и . Theor. Comput. Sci., (2020)A Blockchain Implementation of an Attendance Management System., , , , и . SOFL+MSVL, том 11392 из Lecture Notes in Computer Science, стр. 169-182. Springer, (2018)Model checking of pushdown systems for projection temporal logic., , и . Theor. Comput. Sci., (2019)