Alireza Souri, Amir Masoud Rahmani, Nima Jafari Navimipour, Reza Rezaei. Formal modeling and verification of a service composition approach in the social customer relationship management system. IT & People, 32(6):1591-1607, 2019. [doi]
Abstract is missing.