Deep search:Searching for "Software model checking" in 'KEYWORDGot 1 item.
index Title
1Towards automated software model checking using graph transformation systems and Bogor
Author(s):Vahid RAFE, Adel T. RAHMANI  Clicked:5095  Download:2984  Cited:2  <Full Text>
Journal of Zhejiang University Science A  2009 Vol.10 No.8 P.1093-1105  DOI:10.1631/jzus.A0820415
Journal of Zhejiang University-SCIENCE, 38 Zheda Road, Hangzhou 310027, China
Tel: +86-571-87952783; E-mail:
Copyright © 2000 - 2022 Journal of Zhejiang University-SCIENCE