| index | Title |
| 1 | Towards automated software model checking using graph transformation systems and Bogor Author(s):Vahid RAFE, Adel T. RAHMANI Clicked:7688 Download:4585 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 | A cooperative heterogeneous vehicular clustering framework for efficiency improvement Author(s):Iftikhar Ahmad, Rafidah Md Noor, Z... Clicked:9287 Download:14345 Cited:0 <Full Text> Frontiers of Information Technology & Electronic Engineering 2021 Vol.22 No.9 P.1247-1259 DOI:10.1631/FITEE.2000260 |
| 4 | Fairness analysis of extra-gain guilty of a non-repudiation protocol Author(s):Xu GUO Clicked:7082 Download:10054 Cited:0 <Full Text> <PPT> 1067 Frontiers of Information Technology & Electronic Engineering 2022 Vol.23 No.6 P.893-908 DOI:10.1631/FITEE.2100413 |