%L scholars20404
%A Wenshan Tang
%A Zhaolong Gou
%A Mohd Anuaruddin Bin Ahmadon
%A Shingo Yamaguchi
%D 2016
%I Institute of Electrical and Electronics Engineers Inc.
%T On verification of implementation of security specification with Petri nets' protocol inheritance
%O Cited by: 2
%J 2016 IEEE 5th Global Conference on Consumer Electronics, GCCE 2016
%R 10.1109/GCCE.2016.7800491