%V 10
%J International Journal of Embedded Systems
%R 10.1504/IJES.2018.095754
%T Petri net-based verification of security protocol implementation in software evolution
%O Cited by: 7
%I Inderscience Publishers
%D 2018
%L scholars20385
%A Mohd Anuaruddin Bin Ahmadon
%A Shingo Yamaguchi
%A B.B. Gupta
%P 503 – 517
%N 6