Hongbing Wang, Li Li, Chen Wang, Zuling Kang, Dongxi Liu, Jemma Wu, Athman Bouguettaya. Logic-based verification for Web services composition with TLA. In IEEE International Conference on Service-Oriented Computing and Applications, SOCA 2009, 14-15 December 2009, Taipei, Taiwan. pages 1-8, IEEE, 2009. [doi]
Abstract is missing.