( en | de | ru )

 

Disambiguation of "Burch, Jerry R."

Author of the publication

copydeleteadd this publication to your clipboard
Representing Circuits More Efficiently in Symbolic Model Checking.

, , and . DAC, page 403-407. ACM, (1991)

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. You can also use the button next to the name to display some publications already assigned to the person.

Thomas Burch

Jerry Chou

Jerry Ding

Thomas Burch

Stephanie Burch

 

Other publications of authors with the same name

Safe BDD Minimization Using Don't Cares., , , and . DAC, page 208-213. ACM Press, (1997)Using simulation and satisfiability to compute flexibilities in Boolean networks., , , , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 25 (5): 743-755 (2006)Linear cofactor relationships in Boolean functions., , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 25 (6): 1011-1023 (2006)Modeling hierarchical combinational circuits., , , and . ICCAD, page 612-617. IEEE Computer Society / ACM, (1993)Overcoming Heterophobia: Modeling Concurrency in Heterogeneous Systems., , and . ACSD, page 13-. IEEE Computer Society, (2001)Techniques for Verifying Superscalar Microprocessors.. DAC, page 552-557. ACM Press, (1996)Representing Circuits More Efficiently in Symbolic Model Checking., , and . DAC, page 403-407. ACM, (1991)Refinement preserving approximations for the design and verification of heterogeneous systems., , and . Formal Methods Syst. Des., 31 (1): 1-33 (2007)Combining CTL, Trace Theory and Timing Models.. Automatic Verification Methods for Finite State Systems, volume 407 of Lecture Notes in Computer Science, page 334-348. Springer, (1989)Fair Mutual Exclusion with Unfair P and V Operations., and . Inf. Process. Lett., 21 (2): 97-100 (1985)