( en | de | ru )

 

Disambiguation of "Hachtel, Gary D."

Author of the publication

copydeleteadd this publication to your clipboard
Iterative Abstraction-Based CTL Model Checking.

, , and . DATE, page 502-507. IEEE Computer Society / ACM, (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. You can also use the button next to the name to display some publications already assigned to the person.

Gerd Hachtel

Alexander Gary

Klaus Gary

Günther Hachtel

Henning Hachtel

 

Other publications of authors with the same name

Sharp Disjunctive Decomposition for Language Emptiness Checking., and . FMCAD, volume 2517 of Lecture Notes in Computer Science, page 106-122. Springer, (2002)Border-Block Triangular Form and Conjunction Schedule in Image Computation., , and . FMCAD, volume 1954 of Lecture Notes in Computer Science, page 73-90. Springer, (2000)Exact Calculation of Synchronization Sequences Based on Binary Decision Diagrams., , and . DAC, page 620-623. IEEE Computer Society Press, (1992)Fast Sequential ATPG Based on Implicit State Enumeration., , and . ITC, page 67-74. IEEE Computer Society, (1991)Performance enhancements in BOLD using 'implications'., , , and . ICCAD, page 94-97. IEEE Computer Society, (1988)Don't Care Sequences and the Optimization of Interacting Finite State Machines., , and . ICCAD, page 418-421. IEEE Computer Society, (1991)Fine-Grain Abstraction and Sequential Don't Cares for Large Scale Model Checking., , and . ICCD, page 112-118. IEEE Computer Society, (2004)The Sparse Tableau Approach to Network Analysis and Design, , and . Circuit Theory, IEEE Transactions on, 18 (1): 101--113 (January 1971)CMOS dynamic power estimation based on collapsible current source transistor modeling., , , , , and . ISLPD, page 111-116. ACM, (1995)Results on the Interface between Formal Verification and ATPG., , , , , and . CAV (DIMACS/AMS volume), volume 3 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, page 615-628. DIMACS/AMS, (1990)