Gary York (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

4 Alan J. Hu, Gary York, David L. Dill: New Techniques for Efficient Verification with Implicitly Conjoined BDDs. DAC 1994: 276-282

Selection of 1 from 5 records - Gary York has 12 coauthors