Verification of Composed Web Service Using Synthesized Nondeterministic Turing Model (SNTMM) With Multiple Tapes and Stacks. - Thilagavathi N.; Lakshmi K. (Int. J. Web Serv. Res., 2021)