( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Spectral Transforms for Large Boolean Functions with Applications to Technology Mapping.

, , , , и . Formal Methods Syst. Des., 10 (2/3): 137-148 (1997)

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 Anders

Kenneth Simon

Kenneth Ndyabawe

 

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

Spectral Transforms for Large Boolean Functions with Applications to Technology Mapping., , , , и . Formal Methods Syst. Des., 10 (2/3): 137-148 (1997)Abstractions from proofs., , , и . ACM SIGPLAN Notices, 49 (4S): 79-91 (2014)Modular specification and verification of a cache-coherent interface.. FMCAD, стр. 109-116. IEEE, (2016)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)Toward Property-Driven Abstraction for Heap Manipulating Programs.. ATVA, том 4762 из Lecture Notes in Computer Science, стр. 17-18. Springer, (2007)Circular Compositional Reasoning about Liveness.. CHARME, том 1703 из Lecture Notes in Computer Science, стр. 342-345. Springer, (1999)Temporal Prophecy for Proving Temporal Properties of Infinite-State Systems., , , , , и . CoRR, (2021)