共 53 条
[3]
[Anonymous], 2011, 2011 16 INT C INT SY
[4]
[Anonymous], 2009, P 1 WORKSH FUT DIR C
[5]
[Anonymous], 2000, P 27 ANN W PROT REL
[6]
Apvrille L., 2014, ARXIV14041985
[7]
Barbosa RRR, 2010, LECT NOTES COMPUT SC, V6155, P163, DOI 10.1007/978-3-642-13986-4_23
[9]
Bernardo M, 2004, FORMAL METHODS DESIG, P3185