PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Duan, Zhenhua"

Author of the publication

copydeleteadd this publication to your clipboard
Framed temporal logic programming.

, , and . Sci. Comput. Program., 70 (1): 31-61 (2008)

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.

No persons found for author name Duan, Zhenhua
add a person with the name Duan, Zhenhua
 

Other publications of authors with the same name

Complexity of propositional projection temporal logic with star., and . Mathematical Structures in Computer Science, 19 (1): 73-100 (2009)A cylinder computation model for many-core parallel computing., , and . Theor. Comput. Sci., (2013)An extended strange planet protocol., , , and . J. Comb. Optim., 30 (2): 299-319 (2015)Model Checking., and . Handbook of Finite State Based Models and Applications, Chapman and Hall/CRC, (2012)Making CEGAR More Efficient in Software Model Checking., , and . IEEE Trans. Software Eng., 40 (12): 1206-1223 (2014)HP2P: A Hybrid Hierarchical P2P Network., , , , and . ICDS, page 18. IEEE Computer Society, (2007)Incorporating Clusters into Hybrid P2P Network., , , , and . ICDS, page 17. IEEE Computer Society, (2007)Focus Game for Projection Temporal Logic., and . TASE, page 45-51. IEEE Computer Society, (2011)Specification and Verification of UML2.0 Sequence Diagrams Using Event Deterministic Finite Automata., and . SSIRI (Companion), page 41-46. IEEE Computer Society, (2011)Projection in Temporal Logic Programming., , and . LPAR, volume 822 of Lecture Notes in Computer Science, page 333-344. Springer, (1994)