( en | de | ru )

 

Disambiguierung von "Clarke, Edmund M."

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.

James Clarke

Anneliese Clarke

Barbara Clarke

Constanze Clarke

Brian Clarke

 

Weitere Publikationen von Autoren mit dem selben Namen

Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic., und . Logic of Programs, Volume 131 von Lecture Notes in Computer Science, Seite 52-71. Springer, (1981)Bounded model checking., , , , und . Advances in Computers, (2003)Distributed Computing Issues in Hardware Design.. Distributed Comput., 1 (4): 185-186 (1986)Another Look at LTL Model Checking., , und . Formal Methods Syst. Des., 10 (1): 47-71 (1997)Efficient Craig interpolation for linear Diophantine (dis)equations and linear modular equations., , und . Formal Methods Syst. Des., 35 (1): 6-39 (2009)Verification of SpecC using predicate abstraction., , und . Formal Methods Syst. Des., 30 (1): 5-28 (2007)Functional Equivalence Verification Tools in High-Level Synthesis Flows., , , und . IEEE Des. Test Comput., 26 (4): 88-95 (2009)Statistical Verification of Probabilistic Properties with Unbounded Until., , und . SBMF, Volume 6527 von Lecture Notes in Computer Science, Seite 144-160. Springer, (2010)Word Level Model Checking - Avoiding the Pentium FDIV Error., , und . DAC, Seite 645-648. ACM Press, (1996)Verification of All Circuits in a Floating-Point Unit Using Word-Level Model Checking., , , , , , , und . FMCAD, Volume 1166 von Lecture Notes in Computer Science, Seite 19-33. Springer, (1996)