共 50 条
- [1] SPECIFYING SOLID-STATE LOGIC SYSTEMS IEEE TRANSACTIONS ON POWER APPARATUS AND SYSTEMS, 1980, 99 (04): : 1316 - 1316
- [2] SPECIFYING MULTIPLEX DATA SYSTEMS. Power Engineering (Barrington, Illinois), 1976, 8 (02): : 50 - 53
- [6] SOLID STATE ELECTRONIC BEHAVIOR IN BIOLOGICAL SYSTEMS. Insulation/Circuits, 1975, 21 (06): : 27 - 29
- [7] SPECIFYING COMMUNICATING SYSTEMS WITH TEMPORAL LOGIC TEMPORAL LOGIC IN SPECIFICATION, 1989, 398 : 304 - 323
- [10] SPECIFYING AND SELECTING UNINTERRUPTIBLE POWER SUPPLY SYSTEMS. Computer Design, 1974, 13 (07): : 63 - 79