Chams Eddine Choucha, Mohamed Ramdani, Mohamed Khalgui, Laïd Kahloul. On Decomposing Formal Verification of CTL-based Properties on IaaS Cloud Environment. In Marten van Sinderen, Hans-Georg Fill, Leszek A. Maciaszek, editors, Proceedings of the 15th International Conference on Software Technologies, ICSOFT 2020, Lieusaint, Paris, France, July 7-9, 2020. pages 544-551, ScitePress, 2020. [doi]
Abstract is missing.