( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
User Experience with High Level Formal Verification (Panel).

, и . DAC, стр. 327. ACM Press, (1998)

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.

Randal Sivertson

Jennifer Bryant

Doreen Bryant

Melchior Bryant

Thomas Bryant

 

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

A Performance Study of BDD-Based Model Checking., , , , , , , и . FMCAD, том 1522 из Lecture Notes in Computer Science, стр. 255-289. Springer, (1998)Modeling and Verification of Out-of-Order Microprocessors in UCLID., , и . FMCAD, том 2517 из Lecture Notes in Computer Science, стр. 142-159. Springer, (2002)Bit-Level Analysis of an SRT Divider Circuit.. DAC, стр. 661-665. ACM Press, (1996)Automatic Clock Abstraction from Sequential Circuits., , и . DAC, стр. 707-711. ACM Press, (1995)Unbounded, Fully Symbolic Model Checking of Timed Automata using Boolean Methods., и . CAV, том 2725 из Lecture Notes in Computer Science, стр. 154-166. Springer, (2003)Revisiting Positive Equality., , , и . TACAS, том 2988 из Lecture Notes in Computer Science, стр. 1-15. Springer, (2004)Silicon Compilers: How Well Have They Done, and Where Are They Headed?. IFIP Congress, стр. 379. North-Holland/IFIP, (1989)SetA*: An Efficient BDD-Based Heuristic Search Algorithm., , и . AAAI/IAAI, стр. 668-673. AAAI Press / The MIT Press, (2002)Clausal Proofs for Pseudo-Boolean Reasoning., , и . TACAS (1), том 13243 из Lecture Notes in Computer Science, стр. 443-461. Springer, (2022)Learning conditional abstractions., , и . FMCAD, стр. 116-124. FMCAD Inc., (2011)