Faranak NejatiNor Asilah Wati Abdul HamidSina Zangbari KoohiZahra Rahmani Zadeh2024-10-162024-10-16202310.1109/ACCESS.2023.3291412https://dspace-cris.utar.edu.my/handle/123456789/2423An Incremental Optimization Algorithm for Efficient Verification of Graph Transformation Systemsjournal-article