%0 Journal Article %1 journals/tpds/XieYLLH21 %A Xie, Guoqi %A Yang, Kehua %A Luo, Haibo %A Li, Renfa %A Hu, Shiyan %D 2021 %J IEEE Trans. Parallel Distributed Syst. %K dblp %N 6 %P 1353-1368 %T Reliability and Confidentiality Co-Verification for Parallel Applications in Distributed Systems. %U http://dblp.uni-trier.de/db/journals/tpds/tpds32.html#XieYLLH21 %V 32

@article{journals/tpds/XieYLLH21, added-at = {2021-03-02T00:00:00.000+0100}, author = {Xie, Guoqi and Yang, Kehua and Luo, Haibo and Li, Renfa and Hu, Shiyan}, biburl = {https://www.bibsonomy.org/bibtex/2b22cc23b63862963e21db11a673251b9/dblp}, ee = {https://doi.org/10.1109/TPDS.2021.3049780}, interhash = {dceebb61034ac8b0bb250b4fd3fa08a0}, intrahash = {b22cc23b63862963e21db11a673251b9}, journal = {IEEE Trans. Parallel Distributed Syst.}, keywords = {dblp}, number = 6, pages = {1353-1368}, timestamp = {2024-04-08T18:58:03.000+0200}, title = {Reliability and Confidentiality Co-Verification for Parallel Applications in Distributed Systems.}, url = {http://dblp.uni-trier.de/db/journals/tpds/tpds32.html#XieYLLH21}, volume = 32, year = 2021 }