共 50 条
- [2] Introduction: Special issue on CAV '97 [J]. FORMAL METHODS IN SYSTEM DESIGN, 2001, 18 (02) : 95 - 95
- [3] Introduction to the Special Issue on ISCAS'97 [J]. IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS II-ANALOG AND DIGITAL SIGNAL PROCESSING, 1998, 45 (05): : 533 - 534
- [4] Introduction to special issue on IDMS '97 [J]. COMPUTER COMMUNICATIONS, 1998, 21 (15) : 1283 - 1284