Saranya Jothi C, S R, Kumar K A, Suresh A. An approach for verifying correctness of web service compositions. IJET [Internet]. 2018 Feb. 5 [cited 2024 May 5];7(1.7):5-10. Available from: https://sciencepubco.com/index.php/ijet/article/view/9378