共 52 条
[11]
Clarke E.M., 2011, INT S AUTOMATED TECH, P1, DOI [10.1007/978-3-642-24372-1_1., DOI 10.1007/978-3-642-24372-1_1]
[13]
David Alexandre, 2011, Computer Aided Verification. Proceedings 23rd International Conference, CAV 2011, P349, DOI 10.1007/978-3-642-22110-1_27
[15]
El Azhari M, 2014, INT CONF MULTIMED, P910, DOI 10.1109/ICMCS.2014.6911180
[16]
Emerson EA, 2008, LECT NOTES COMPUT SC, V5000, P27
[17]
Fourati H., 2016, 2016 IEEE ACS 13 INT, P1, DOI 10.1109/AICCSA.2016.7945686
[19]
Frigo G., 2017, 2017 IEEE INT INSTR, P1, DOI [DOI 10.1109/12MTC.2017.7969772, 10.1109/12MTC.2017.7969772, DOI 10.1109/IWMN.2017.8078369]
[20]
IEEE Standards Association, 2012, 80211AD2012 IEEE, V802, P1, DOI DOI 10.1109/IEEESTD.2012.6392842