共 50 条
- [32] Formal proof between two designs having different level of abstraction 2008 INTERNATIONAL CONFERENCE ON DESIGN & TECHNOLOGY OF INTEGRATED SYSTEMS IN NANOSCALE, 2008, : 281 - +
- [40] HIGH-SPEED CAMERA HAVING IMPROVED PARAMETERS SOVIET JOURNAL OF OPTICAL TECHNOLOGY, 1987, 54 (09): : 577 - 578