Marco Franceschetti, Johann Eder. Checking Temporal Service Level Agreements for Web Service Compositions with Temporal Parameters. In Elisa Bertino, Carl K. Chang, Peter Chen, Ernesto Damiani, Michael Goul, Katsunori Oyama, editors, 2019 IEEE International Conference on Web Services, ICWS 2019, Milan, Italy, July 8-13, 2019. pages 443-445, IEEE, 2019. [doi]
Abstract is missing.