( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Symbolic Model Checking Using SAT Procedures instead of BDDs.

, , , , и . DAC, стр. 317-320. ACM Press, (1999)

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.

Yiping Zhu

Yongming Zhu

Changbao Zhu

Junjiang Zhu

Zhu Dai

 

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

Combining Symbolic Model Checking with Uninterpreted Functions for Out-of-Order Processor Verification., , , и . FMCAD, том 1522 из Lecture Notes in Computer Science, стр. 369-386. Springer, (1998)Multiple State and Single State Tableaux for Combining Local and Global Model Checking., , и . Correct System Design, том 1710 из Lecture Notes in Computer Science, стр. 163-179. Springer, (1999)Symbolic Model Checking without BDDs., , , и . TACAS, том 1579 из Lecture Notes in Computer Science, стр. 193-207. Springer, (1999)Bounded Model Checking Using Satisfiability Solving., , , и . Formal Methods Syst. Des., 19 (1): 7-34 (2001)The efficiency of theorem proving strategies - a comparative and asymptotic analysis., и . Computational intelligence Vieweg, (1997)Ordered Semantic Hyper Linking., и . AAAI/IAAI, стр. 472-477. AAAI Press / The MIT Press, (1997)Bounded model checking., , , , и . Advances in Computers, (2003)Symbolic Model Checking Using SAT Procedures instead of BDDs., , , , и . DAC, стр. 317-320. ACM Press, (1999)Kinematic Manipulation of Molecular Chains Subject to Rigid Constraint., и . ISMB, стр. 285-293. AAAI, (1994)Verification of Out-Of-Order Processor Designs Using Model Checking and a Light-Weight Completion Function., , , и . Formal Methods Syst. Des., 20 (2): 159-186 (2002)