Modeling and Verification of Temporal Constraints for Web Service Composition.

Maya Souilah Benabdelhafid, Houda Boubaker, Mahmoud Boufada

Browse the full SEFM paper archive.