共 50 条
- [23] Structured Formal Verification of a fragment of the IBM S/390 Clock Chip APPLIED FORMAL METHODS - FM-TRENDS 98, 1999, 1641 : 92 - 106
- [26] The ESA Ariel mission is ready for implementation SPACE TELESCOPES AND INSTRUMENTATION 2020: OPTICAL, INFRARED, AND MILLIMETER WAVE, 2021, 11443
- [27] A high-frequency custom CMOS S/390 microprocessor INTERNATIONAL CONFERENCE ON COMPUTER DESIGN - VLSI IN COMPUTERS AND PROCESSORS, PROCEEDINGS, 1997, : 241 - 246