共 50 条
- [32] Using Logic Synthesis and Circuit Reasoning for Equivalence Checking ADVANCED MANUFACTURING SYSTEMS, PTS 1-3, 2011, 201-203 : 836 - 840
- [35] Towards traffic delay estimation using fuzzy logic INTERNET & INFORMATION SYSTEMS IN THE DIGITAL AGE: CHALLENGES AND SOLUTIONS, 2006, : 413 - 418