Cited By
View all- Pal NYadav D(2024)Modeling and verification of software evolution using bigraphical reactive systemCluster Computing10.1007/s10586-024-04597-y27:9(12983-13003)Online publication date: 19-Jun-2024
- Leung CDesai BAnagnostopoulos DManolopoulos YNikolaidou M(2019)Pattern mining for knowledge discoveryProceedings of the 23rd International Database Applications & Engineering Symposium10.1145/3331076.3331099(1-5)Online publication date: 10-Jun-2019
- Kamel OChaoui AGharzouli M(2017)Towards a Formal Modeling of Cloud Services during the Life-cycle of Service Level AgreementProceedings of the International Conference on Big Data and Internet of Thing10.1145/3175684.3175727(115-119)Online publication date: 20-Dec-2017