%0 Conference Paper %1 conf/icpp/CaiSYLZ00LG20 %A Cai, Xiaoqing %A Shi, Jiuchen %A Yuan, Rui %A Liu, Chang %A Zheng, Wenli %A Chen, Quan %A Li, Chao %A Leng, Jingwen %A Guo, Minyi %B ICPP %D 2020 %E Amaral, José Nelson %E John, Lizy Kurian %E Shen, Xipeng %I ACM %K dblp %P 71:1-71:11 %T OVERSEE: Outsourcing Verification to Enable Resource Sharing in Edge Environment. %U http://dblp.uni-trier.de/db/conf/icpp/icpp2020.html#CaiSYLZ00LG20 %@ 978-1-4503-8816-0

@inproceedings{conf/icpp/CaiSYLZ00LG20, added-at = {2022-06-23T00:00:00.000+0200}, author = {Cai, Xiaoqing and Shi, Jiuchen and Yuan, Rui and Liu, Chang and Zheng, Wenli and Chen, Quan and Li, Chao and Leng, Jingwen and Guo, Minyi}, biburl = {https://www.bibsonomy.org/bibtex/26c7144d57571fa1d5f241d9bf740635c/dblp}, booktitle = {ICPP}, crossref = {conf/icpp/2020}, editor = {Amaral, José Nelson and John, Lizy Kurian and Shen, Xipeng}, ee = {https://doi.org/10.1145/3404397.3404409}, interhash = {1954d6938b8d2249d42db775845f970d}, intrahash = {6c7144d57571fa1d5f241d9bf740635c}, isbn = {978-1-4503-8816-0}, keywords = {dblp}, pages = {71:1-71:11}, publisher = {ACM}, timestamp = {2024-04-10T13:35:28.000+0200}, title = {OVERSEE: Outsourcing Verification to Enable Resource Sharing in Edge Environment.}, url = {http://dblp.uni-trier.de/db/conf/icpp/icpp2020.html#CaiSYLZ00LG20}, year = 2020 }