( en | de | ru )

 

Disambiguation of "Brayton, Robert K."

Author of the publication

copydeleteadd this publication to your clipboard
On the Temporal Equivalence of Sequential Circuits.

, , , and . DAC, page 405-409. IEEE Computer Society Press, (1992)

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.

Robert K Saam

Robert K Müller

Robert K Müller

Robert K Dudler

Robert K G Köhler

 

Other publications of authors with the same name

Symmetry detection for large Boolean functions using circuit representation, simulation, and satisfiability., , , and . DAC, page 510-515. ACM, (2006)A timing-driven module-based chip design flow., and . DAC, page 67-70. ACM, (2004)Verifying Abstractions of Timed Systems., , , and . CONCUR, volume 1119 of Lecture Notes in Computer Science, page 546-562. Springer, (1996)The Rabin Index and Chain Automata, with Applications to Automatas and Games., , , and . CAV, volume 939 of Lecture Notes in Computer Science, page 253-266. Springer, (1995)Reducing Multi-Valued Algebraic Operations to Binary., , and . IWLS, page 339-344. (2002)Regular Fabrics in Deep Sub-Micron Integrated-Circuit Design., and . IWLS, page 7-12. (2002)Synthesis of Multilevel Boolean Networks., , , , and . Boolean Models and Methods, Cambridge University Press, (2010)Structural Complexity of Omega-Automata., , and . STACS, volume 900 of Lecture Notes in Computer Science, page 143-156. Springer, (1995)State Minimization of Pseudo Non-Deterministic FSM's., and . EDAC-ETC-EUROASIC, page 184-191. IEEE Computer Society, (1994)Formula-Dependent Equivalence for Compositional CTL Model Checking., , , , and . Formal Methods Syst. Des., 21 (2): 193-224 (2002)