| index | Title |
| 1 | Towards automated software model checking using graph transformation systems and Bogor Author(s):Vahid RAFE, Adel T. RAHMANI Clicked:7573 Download:4530 Cited:2 <Full Text> Journal of Zhejiang University Science A 2009 Vol.10 No.8 P.1093-1105 DOI:10.1631/jzus.A0820415 |
| 2 | Equality detection for linear arithmetic constraints Author(s):Li LI, Kai-duo HE, Ming GU, Xiao-y... Clicked:6679 Download:3868 Cited:1 <Full Text> Journal of Zhejiang University Science A 2009 Vol.10 No.12 P.1784-1789 DOI:10.1631/jzus.A0820812 |
| 3 | Fairness analysis of extra-gain guilty of a non-repudiation protocol Author(s):Xu GUO Clicked:6787 Download:9426 Cited:0 <Full Text> <PPT> 939 Frontiers of Information Technology & Electronic Engineering 2022 Vol.23 No.6 P.893-908 DOI:10.1631/FITEE.2100413 |