Khai T. Huynh, Tho Quan, Thang Bui. Smaller to Sharper: Efficient Web Service Composition and Verification Using On-the-fly Model Checking and Logic-Based Clustering. In Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Ana Maria A. C. Rocha, Carmelo Maria Torre, David Taniar, Bernady O. Apduhan, Elena N. Stankova, Shangguang Wang, editors, Computational Science and Its Applications - ICCSA 2016 - 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part IV. Volume 9789 of Lecture Notes in Computer Science, pages 453-468, Springer, 2016. [doi]
@inproceedings{HuynhQB16,
title = {Smaller to Sharper: Efficient Web Service Composition and Verification Using On-the-fly Model Checking and Logic-Based Clustering},
author = {Khai T. Huynh and Tho Quan and Thang Bui},
year = {2016},
doi = {10.1007/978-3-319-42089-9_32},
url = {http://dx.doi.org/10.1007/978-3-319-42089-9_32},
researchr = {https://researchr.org/publication/HuynhQB16},
cites = {0},
citedby = {0},
pages = {453-468},
booktitle = {Computational Science and Its Applications - ICCSA 2016 - 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part IV},
editor = {Osvaldo Gervasi and Beniamino Murgante and Sanjay Misra and Ana Maria A. C. Rocha and Carmelo Maria Torre and David Taniar and Bernady O. Apduhan and Elena N. Stankova and Shangguang Wang},
volume = {9789},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-42088-2},
}