%0 Conference Paper
%A Tang, Wenshan
%A Gou, Zhaolong
%A Ahmadon, Mohd Anuaruddin Bin
%A Yamaguchi, Shingo
%D 2016
%F scholars:20404
%I Institute of Electrical and Electronics Engineers Inc.
%R 10.1109/GCCE.2016.7800491
%T On verification of implementation of security specification with Petri nets' protocol inheritance
%U https://khub.utp.edu.my/scholars/20404/
%Z Cited by: 2