| 000 | 00548nab a2200157Ia 4500 | ||
|---|---|---|---|
| 008 | 230808s2009 |||||||f |||| 00| 0 eng d | ||
| 100 |
_aRafe, Vahid _9767010 |
||
| 100 |
_aRahmani, Adel T. _9767012 |
||
| 245 | 2 | _aA Novel Approach to Verify Graph Schema-Based Software Systems | |
| 300 | _a857-870 p. | ||
| 650 |
_aModel Checking _9722400 |
||
| 650 |
_aGraph Trans Formation Systems _9767015 |
||
| 650 |
_aGraph Schemas _9767016 |
||
| 773 |
_d2009 _tInternational Journal of Software Engineering and Knowledge Engineering _x02181940 |
||
| 942 |
_cART _o51 _pABUL KALAM Library |
||
| 999 |
_c739706 _d739706 |
||