![]() |
Ask others: ACM DL/Guide -
- CSB - MetaPress - Google - Bing - Yahoo
| 10 | Per Bjesse, Arne Borälv: DAG-aware circuit compression for formal verification. ICCAD 2004: 42-49 |
Selection of 1 from 15 records - Per Bjesse has 17 coauthors
Copyright © 2009-11-29 by Michael Ley (ley@uni-trier.de)