( en | de | ru )

 

Disambiguierung von "Zhu, Yunshan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Symbolic Model Checking Using SAT Procedures instead of BDDs.

, , , , und . DAC, Seite 317-320. ACM Press, (1999)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Junjiang Zhu

Zhu Dai

Changbao Zhu

Yiping Zhu

Yongming Zhu

 

Weitere Publikationen von Autoren mit dem selben Namen

Symbolic Model Checking without BDDs., , , und . TACAS, Volume 1579 von Lecture Notes in Computer Science, Seite 193-207. Springer, (1999)Combining Symbolic Model Checking with Uninterpreted Functions for Out-of-Order Processor Verification., , , und . FMCAD, Volume 1522 von Lecture Notes in Computer Science, Seite 369-386. Springer, (1998)Multiple State and Single State Tableaux for Combining Local and Global Model Checking., , und . Correct System Design, Volume 1710 von Lecture Notes in Computer Science, Seite 163-179. Springer, (1999)The efficiency of theorem proving strategies - a comparative and asymptotic analysis., und . Computational intelligence Vieweg, (1997)Bounded Model Checking Using Satisfiability Solving., , , und . Formal Methods Syst. Des., 19 (1): 7-34 (2001)Ordered Semantic Hyper Linking., und . AAAI/IAAI, Seite 472-477. AAAI Press / The MIT Press, (1997)Symbolic Model Checking Using SAT Procedures instead of BDDs., , , , und . DAC, Seite 317-320. ACM Press, (1999)Bounded model checking., , , , und . Advances in Computers, (2003)Kinematic Manipulation of Molecular Chains Subject to Rigid Constraint., und . ISMB, Seite 285-293. AAAI, (1994)Ordered Semantic Hyper-Linking., und . J. Autom. Reason., 25 (3): 167-217 (2000)