Kais Klai, Hanen Ochi. LTL Model Cheking of Service-Based Business Processes in the Cloud. In Sheikh Iqbal Ahamed, Carl K. Chang, Williamc C. Chu, Ivica Crnkovic, Pao-Ann Hsiung, Gang Huang 0001, Jingwei Yang, editors, 39th Annual Computer Software and Applications Conference, COMPSAC Workshops 2015, Taichung, Taiwan, July 1-5, 2015 . pages 398-403, IEEE, 2015. [doi]
Abstract is missing.