Translation-based verification of Web services composition via ZING
Xiangyu Luo
◽
Jingjing Lu
◽
Kaile Su
◽
Rongsheng Dong
2011 ◽
Vol 22
(11)
◽
pp. 2698-2715
◽
Fang-Xiong XIAO
◽
Zhi-Qiu HUANG
◽
Zi-Ning CAO
◽
Li-Zhong TU
◽
Yi ZHU
2014 ◽
Vol 13
(2)
◽
pp. 221
Fayçal Bachtarzi
◽
Allaoua Chaoui
2006 ◽
Vol 5
(5)
◽
pp. 1-10
◽
Seog-Chan Oh
◽
Dongwon Lee
◽
Soundar R. T. Kumara
Nouha Adadi
◽
Mohammed Berrada
◽
Driss Chenouni
◽
Mohamed Halim
Jike Ge
◽
Yuhui Qiu
◽
Shiqun Yin
S.A.B. Cruz
◽
A.M.V. Monteiro
◽
R. Santos
Ki-moon Choi
◽
Mohammad Mehedi Hassan
◽
Eui-Nam Huh
Yingjie Li
◽
Xueli Yu
◽
Lili Geng
◽
Li Wang
Xiaoyong Mei
◽
Fudan Zheng
◽
Aijun Jiang
◽
Shixian Li
2006 ◽
Vol 11
(1)
◽
pp. 221-225
◽
Gao Yan
◽
Na Jun
◽
Zhang Bin
◽
Yang Lei
◽
Gong Qiang
◽
...