Rafe, Vahid Rahmani, Adel T. <br/><br/>
A Novel Approach to Verify Graph Schema-Based Software Systems 

 - 857-870 p. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Model Checking<br/>Graph Trans Formation Systems<br/>Graph Schemas