Items where Author is "Tang, Wenshan"
![[up]](/style/images/multi_up.png)
Up a levelGroup by: Item Type | No Grouping
Jump to: Conference or Workshop Item
Number of items: 1.
Conference or Workshop Item
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.