共 50 条
- [42] Nested Hoare Triples and Frame Rules for Higher-Order Store COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2009, 5771 : 440 - +
- [44] PCM MULTIPLEX FRAME STRUCTURE AND HIGHER-ORDER HIERARCHY PLANNING REVIEW OF THE ELECTRICAL COMMUNICATIONS LABORATORIES, 1976, 24 (9-10): : 833 - 841
- [46] PCM MULTIPLEX FRAME STRUCTURE AND HIGHER-ORDER HIERARCHY PLANNING ELECTRONICS & COMMUNICATIONS IN JAPAN, 1974, 57 (01): : 11 - 19
- [50] HIGHER-ORDER EFFECTS IN MULTIPHOTON TRANSITIONS PHYSICAL REVIEW A, 1974, 10 (06): : 2070 - 2077