共 50 条
- [22] Formal proof between two designs having different level of abstraction 2008 INTERNATIONAL CONFERENCE ON DESIGN & TECHNOLOGY OF INTEGRATED SYSTEMS IN NANOSCALE, 2008, : 281 - +
- [25] A general proof of some known results of independence between two statistics AMERICAN STATISTICIAN, 2008, 62 (02): : 141 - 143