![]() |
Ask others: ACM DL/Guide -
- CSB - MetaPress - Google - Bing - Yahoo
| 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
Copyright © 2009-12-29 by Michael Ley (ley@uni-trier.de)