 | 1995 |
|---|
| 5 |       | Manish Pandey,
Alok Jain,
Randal E. Bryant,
Derek L. Beatty,
Gary York,
Samir Jain:
Extraction of finite state machines from transistor netlists by symbolic simulation.
ICCD 1995: 596-601 |
| 1994 |
|---|
| 4 | | Alan J. Hu,
Gary York,
David L. Dill:
New Techniques for Efficient Verification with Implicitly Conjoined BDDs.
DAC 1994: 276-282 |
| 1993 |
|---|
| 3 |  | Felice Balarin,
Gary York:
Verilog HDL Modeling Styles for Formal Verification.
CHDL 1993: 453-465 |
| 1985 |
|---|
| 2 | | Xiao-Zong Yang,
Gary York,
William P. Birmingham,
Daniel P. Siewiorek:
Fault Recovery of Triplicated Software on the Intel iAPX 432.
ICDCS 1985: 438-443 |
| 1983 |
|---|
| 1 | | Gary York,
Daniel P. Siewiorek,
Zary Segall:
Asynchronous Software Voting in NMR Computer Structures.
Symposium on Reliability in Distributed Software and Database Systems 1983: 28-37 |
