TY - GEN T1 - Verification and evaluation of computer and communication systems :14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020, Proceedings / DA - 2020. CY - Cham : AU - Ben Hedia, Belgacem. AU - Chen, Yu-Fang. AU - Liu, Gaiyun. AU - Yu, Zhenhua. PB - Springer, PP - Cham : PY - 2020. ID - 947055 SN - 9783030659554 SN - 3030659550 TI - Verification and evaluation of computer and communication systems :14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020, Proceedings / LK - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-65955-4 UR - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-65955-4 ER -