共 50 条
- [21] Security Check for Multi-threaded Programs 2016 IEEE SIXTH INTERNATIONAL CONFERENCE ON COMMUNICATIONS AND ELECTRONICS (ICCE), 2016, : 465 - 470
- [22] A Multi-Threaded Semantic Focused Crawler Journal of Computer Science and Technology, 2012, 27 : 1233 - 1242
- [23] A Multi-threaded Version of Field II 2014 IEEE INTERNATIONAL ULTRASONICS SYMPOSIUM (IUS), 2014, : 2229 - 2232
- [26] Information Declassification for Multi-Threaded Programs APPLIED MATHEMATICS & INFORMATION SCIENCES, 2014, 8 (04): : 1911 - 1916
- [28] Verifying Multi-threaded Software with Impact 2013 FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD), 2013, : 210 - 217
- [29] A Basis for Verifying Multi-threaded Programs PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2009, 5502 : 378 - 393