共 50 条
- [42] SILICON COMPILATION [J]. ADVANCED RESEARCH IN VLSI : PROCEEDINGS OF THE DECENNIAL CALTECH CONFERENCE ON VLSI, 1989, : 17 - 36
- [50] Diagnosis of discrete-event systems by separation of concerns, knowledge compilation, and reuse [J]. ECAI 2004: 16TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2004, 110 : 838 - 842