共 50 条
- [43] Timed protocol insecurity problem is NP-complete FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2013, 29 (03): : 843 - 862
- [49] Monadic logical definability of NP-complete problems COMPUTER SCIENCE LOGIC, 1995, 933 : 190 - 204