共 50 条
- [42] Unifying theories of healthiness condition SEVENTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2000, : 70 - 81
- [43] Unifying theories in different institutions RECENT TRENDS IN DATA TYPE SPECIFICATION, 1996, 1130 : 81 - 101
- [44] DISCRETE DISLOCATIONS IN CONTINUUM ELASTICITY JOURNAL OF RESEARCH OF THE NATIONAL BUREAU OF STANDARDS SECTION A-PHYSICS AND CHEMISTRY, 1969, A 73 (05): : 535 - &
- [45] Dislocations and disclinations in gradient elasticity PHYSICA STATUS SOLIDI B-BASIC RESEARCH, 1999, 214 (02): : 245 - 284
- [48] Unifying theories of parallel programming FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2002, 2495 : 24 - 37