%0 Journal Article
%@ 17411068
%A Ahmadon, Mohd Anuaruddin Bin
%A Yamaguchi, Shingo
%A Gupta, B.B.
%D 2018
%F scholars:20385
%I Inderscience Publishers
%J International Journal of Embedded Systems
%N 6
%P 503 – 517
%R 10.1504/IJES.2018.095754
%T Petri net-based verification of security protocol implementation in software evolution
%U https://khub.utp.edu.my/scholars/20385/
%V 10
%Z Cited by: 7