共 18 条
[11]
Kaya K, 2008, LECT NOTES COMPUT SC, V5365, P414, DOI 10.1007/978-3-540-89754-5_32
[12]
Lowe G., 1996, Tools and Algorithms for the Construction and Analysis of Systems. Second International Workshop, TACAS '96. Proceedings, P147
[13]
Qiwei Lu, 2012, 2012 IEEE 11th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom), P100, DOI 10.1109/TrustCom.2012.251
[16]
Wenchao Huang, 2009, 2009 International Conference on Computational Science and Engineering (CSE), P809, DOI 10.1109/CSE.2009.87
[17]
YAN X, 2003, ACTA ELECT SINICA, V31, P161