| index | Title |
| 1 | Towards automated software model checking using graph transformation systems and Bogor Author(s):Vahid RAFE, Adel T. RAHMANI Clicked:7687 Download:4583 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:6835 Download:3947 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:7081 Download:10053 Cited:0 <Full Text> <PPT> 1066 Frontiers of Information Technology & Electronic Engineering 2022 Vol.23 No.6 P.893-908 DOI:10.1631/FITEE.2100413 |