Items where Author is "Tang, Wenshan"
![[up]](/style/images/multi_up.png)
Up a levelGroup by: Item Type | No Grouping
Number of items: 1.
Tang, Wenshan and Gou, Zhaolong and Ahmadon, Mohd Anuaruddin Bin and Yamaguchi, Shingo (2016) On verification of implementation of security specification with Petri nets' protocol inheritance. In: UNSPECIFIED.