Xiuguo Zhang
School of Information Science and Technology, Dalian Maritime University, Dalian, China
Hongbo Liu
School of Information Science and Technology, Dalian Maritime University, Dalian, China
PDF Fulltext XML References Citation
How to cite this article
Xiuguo Zhang and Hongbo Liu, 2011. Formal Verification for CCML Based Web Service Composition. Information Technology Journal, 10: 1692-1700.
DOI: 10.3923/itj.2011.1692.1700
URL: https://scialert.net/abstract/?doi=itj.2011.1692.1700
DOI: 10.3923/itj.2011.1692.1700
URL: https://scialert.net/abstract/?doi=itj.2011.1692.1700