スポンサーリンク
The authors are with Central Research Laboratory, Hitachi, Ltd. | 論文
- Magnetic Marker and High T_c Superconducting Quantum Interference Device for Biological Immunoassays(SQUIDs, Superconducting Electronic Devices and Their Applications)
- Proposal for Incremental Formal Verification