( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Sibling-substitution-based BDD minimization using don't cares.

, , , и . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 19 (1): 44-55 (2000)

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.

David McMillan

Kenneth Froese

Kenneth Simon

Kenneth Anders

Kenneth Ndyabawe

 

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

Modular specification and verification of a cache-coherent interface.. FMCAD, стр. 109-116. IEEE, (2016)Toward Property-Driven Abstraction for Heap Manipulating Programs.. ATVA, том 4762 из Lecture Notes in Computer Science, стр. 17-18. Springer, (2007)Microarchitecture Verification by Compositional Model Checking., и . CAV, том 2102 из Lecture Notes in Computer Science, стр. 396-410. Springer, (2001)Interpolant-Based Transition Relation Approximation., и . CAV, том 3576 из Lecture Notes in Computer Science, стр. 39-51. Springer, (2005)Hierarchical Representations of Discrete Functions, with Application to Model Checking.. CAV, том 818 из Lecture Notes in Computer Science, стр. 41-54. Springer, (1994)Lazy Abstraction with Interpolants.. CAV, том 4144 из Lecture Notes in Computer Science, стр. 123-136. Springer, (2006)Circular Compositional Reasoning about Liveness.. CHARME, том 1703 из Lecture Notes in Computer Science, стр. 342-345. Springer, (1999)Automated assumption generation for compositional verification., , и . Formal Methods Syst. Des., 32 (3): 285-301 (2008)Abstractions from proofs., , , и . ACM SIGPLAN Notices, 49 (4S): 79-91 (2014)Spectral Transforms for Large Boolean Functions with Applications to Technology Mapping., , , , и . Formal Methods Syst. Des., 10 (2/3): 137-148 (1997)