Alan J. Hu (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

6 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 66 records - Alan J. Hu has 78 coauthors

Last update 2012-09-10 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page