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]
@inproceedings{KlaiO15,
title = {LTL Model Cheking of Service-Based Business Processes in the Cloud},
author = {Kais Klai and Hanen Ochi},
year = {2015},
doi = {10.1109/COMPSAC.2015.251},
url = {http://dx.doi.org/10.1109/COMPSAC.2015.251},
researchr = {https://researchr.org/publication/KlaiO15},
cites = {0},
citedby = {0},
pages = {398-403},
booktitle = {39th Annual Computer Software and Applications Conference, COMPSAC Workshops 2015, Taichung, Taiwan, July 1-5, 2015 },
editor = {Sheikh Iqbal Ahamed and Carl K. Chang and Williamc C. Chu and Ivica Crnkovic and Pao-Ann Hsiung and Gang Huang 0001 and Jingwei Yang},
publisher = {IEEE},
}