iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.uni-trier.de/rec/conf/icsca/HuGLTW19.nt
. . . . . "Chunling Hu et al.: Verifying Cloud Application for the Interaction Correctness Using SoaML and SPIN. (2019)" . . _:ID_e78491c5849655bfc779cddbca42aa7e . _:ID_e78491c5849655bfc779cddbca42aa7e . _:ID_e78491c5849655bfc779cddbca42aa7e . _:ID_e78491c5849655bfc779cddbca42aa7e . _:ID_e78491c5849655bfc779cddbca42aa7e "conf/icsca/HuGLTW19" . _:ID_aaeb976e52dd2902990cdad354df7a23 . _:ID_aaeb976e52dd2902990cdad354df7a23 . _:ID_aaeb976e52dd2902990cdad354df7a23 . _:ID_aaeb976e52dd2902990cdad354df7a23 . _:ID_aaeb976e52dd2902990cdad354df7a23 "10.1145/3316615.3316714" . "Verifying Cloud Application for the Interaction Correctness Using SoaML and SPIN." . . . . . . . . . . . . "5"^^ . _:Sig_85d3b915a882217b65c8f52bee2e763a_1 . _:Sig_85d3b915a882217b65c8f52bee2e763a_1 . _:Sig_85d3b915a882217b65c8f52bee2e763a_1 . _:Sig_85d3b915a882217b65c8f52bee2e763a_1 "Chunling Hu" . _:Sig_85d3b915a882217b65c8f52bee2e763a_1 . _:Sig_85d3b915a882217b65c8f52bee2e763a_1 "1"^^ . _:Sig_85d3b915a882217b65c8f52bee2e763a_1 . _:Sig_85d3b915a882217b65c8f52bee2e763a_2 . _:Sig_85d3b915a882217b65c8f52bee2e763a_2 . _:Sig_85d3b915a882217b65c8f52bee2e763a_2 . _:Sig_85d3b915a882217b65c8f52bee2e763a_2 "Guoqing Geng" . _:Sig_85d3b915a882217b65c8f52bee2e763a_2 . _:Sig_85d3b915a882217b65c8f52bee2e763a_2 . _:Sig_85d3b915a882217b65c8f52bee2e763a_2 "2"^^ . _:Sig_85d3b915a882217b65c8f52bee2e763a_2 . _:Sig_85d3b915a882217b65c8f52bee2e763a_3 . _:Sig_85d3b915a882217b65c8f52bee2e763a_3 . _:Sig_85d3b915a882217b65c8f52bee2e763a_3 . _:Sig_85d3b915a882217b65c8f52bee2e763a_3 "Bixin Li" . _:Sig_85d3b915a882217b65c8f52bee2e763a_3 . _:Sig_85d3b915a882217b65c8f52bee2e763a_3 "3"^^ . _:Sig_85d3b915a882217b65c8f52bee2e763a_3 . _:Sig_85d3b915a882217b65c8f52bee2e763a_4 . _:Sig_85d3b915a882217b65c8f52bee2e763a_4 . _:Sig_85d3b915a882217b65c8f52bee2e763a_4 . _:Sig_85d3b915a882217b65c8f52bee2e763a_4 "Chao Tang" . _:Sig_85d3b915a882217b65c8f52bee2e763a_4 . _:Sig_85d3b915a882217b65c8f52bee2e763a_4 "4"^^ . _:Sig_85d3b915a882217b65c8f52bee2e763a_4 . _:Sig_85d3b915a882217b65c8f52bee2e763a_5 . _:Sig_85d3b915a882217b65c8f52bee2e763a_5 . _:Sig_85d3b915a882217b65c8f52bee2e763a_5 . _:Sig_85d3b915a882217b65c8f52bee2e763a_5 "Xiaofeng Wang" . _:Sig_85d3b915a882217b65c8f52bee2e763a_5 . _:Sig_85d3b915a882217b65c8f52bee2e763a_5 "5"^^ . _:Sig_85d3b915a882217b65c8f52bee2e763a_5 . . . . . "210-216" . "ICSCA" . "ICSCA" . "2019"^^ . "2019"^^ . . "provenance information for RDF data of dblp record 'conf/icsca/HuGLTW19'" . . . . "2020-10-25T22:51:40+0100" .