TY  - SER
AU  - Rafe, Vahid
AU  - Rahmani, Adel T.
TI  - A Novel Approach to Verify Graph Schema-Based Software Systems
KW  - Model Checking
KW  - Graph Trans Formation Systems
KW  - Graph Schemas
ER  -