Skip to main content
English
Čeština
Deutsch
Español
Français
GÃ idhlig
Latviešu
Magyar
Nederlands
Português
Português do Brasil
Suomi
Log In
Email address
Password
Log in
Have you forgotten your password?
Home
Browse Our Collection
Researchers
Scholarly Output
Consultancy/Projects
Statistics
Log In
Email address
Password
Log in
Have you forgotten your password?
Home
Faculties / Institutes
Lee Kong Chian Faculty of Engineering and Science
Published Scholarly Output
An Incremental Optimization Algorithm for Efficient Verification of Graph Transformation Systems
Details
Export
Statistics
Options
Show all metadata (technical view)
An Incremental Optimization Algorithm for Efficient Verification of Graph Transformation Systems
Journal
IEEE Access
ISSN
2169-3536
Date Issued
2023
Author(s)
Faranak Nejati
Lee Kong Chian Faculty of Engineering and Science
Nor Asilah Wati Abdul Hamid
Sina Zangbari Koohi
Zahra Rahmani Zadeh
DOI
10.1109/ACCESS.2023.3291412
File(s)
Loading...
Download
Name
Picture1.png
Size
3.11 KB
Format
PNG
Checksum
(MD5):21881560e0c3c9c06b18c6e8fdc11acf
