Rania Ben Halima, Kais Klai, Mohamed Sellami, Zakaria Maamar. Formal Modeling and Verification of Property-based Resource Consumption Cycles. In Barbara Carminati, Carl K. Chang, Ernesto Daminai, Shuigung Deng, Wei Tan, Zhongjie Wang, Robert Ward, Jia Zhang, editors, IEEE International Conference on Services Computing, SCC 2021, Chicago, IL, USA, September 5-10, 2021. pages 370-375, IEEE, 2021. [doi]
Abstract is missing.