共 50 条
- [22] A randomized dynamic program analysis technique for detecting real deadlocks Proc ACM SIGPLAN Conf Program Lang Des Implementation PLDI, 1600, (110-120):
- [24] Adapting Side Effects Analysis for Modular Program Model Checking Proc. Joint Europ. Softw. Eng. Conf. (ESEC) SIGSOFT Symp. Found. Softw. Eng. (FSE-11), 1600, (188-197):
- [28] AN APPROACH TO HAZARD ANALYSIS OF LNG SPILLS JOURNAL OF OCCUPATIONAL ACCIDENTS, 1986, 7 (04): : 251 - 272