共 50 条
- [3] Auto-generating test sequences using model checkers: A case study FORMAL APPROACHES TO SOFTWARE TESTING, 2004, 2931 : 42 - 59
- [5] YIELD STRENGTH OF METALS AS A FUNCTION OF GRAIN SIZE ACTA METALLURGICA, 1958, 6 (02): : 139 - 141
- [8] GRAIN BOUNDARY HARDNESS OF METALS + GRAIN SIZE DEPENDENCE OF YIELD STRENGTH JOM-JOURNAL OF METALS, 1964, 16 (01): : 128 - &
- [10] A MECHANISM FOR THE EFFECT OF GRAIN-SIZE ON YIELD STRENGTH SCRIPTA METALLURGICA, 1981, 15 (06): : 679 - 682