A hybrid formal verification approach for QoS-aware multi-cloud service composition
Crossref DOI link: https://doi.org/10.1007/s10586-019-03018-9
Published Online: 2019-11-28
Published Print: 2020-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Souri, Alireza http://orcid.org/0000-0001-8314-9051
Rahmani, Amir Masoud
Navimipour, Nima Jafari
Rezaei, Reza
Text and Data Mining valid from 2019-11-28
Version of Record valid from 2019-11-28
Article History
Received: 9 April 2019
Revised: 25 July 2019
Accepted: 13 November 2019
First Online: 28 November 2019