| index | Title |
| 1 | Towards automated software model checking using graph transformation systems and Bogor Author(s):Vahid RAFE, Adel T. RAHMANI Clicked:7499 Download:4505 Cited:2 <Full Text> Journal of Zhejiang University Science A 2009 Vol.10 No.8 P.1093-1105 DOI:10.1631/jzus.A0820415 |