relation: https://khub.utp.edu.my/scholars/20385/
title: Petri net-based verification of security protocol implementation in software evolution
creator: Ahmadon, Mohd Anuaruddin Bin
creator: Yamaguchi, Shingo
creator: Gupta, B.B.
publisher: Inderscience Publishers
date: 2018
type: Article
type: PeerReviewed
identifier:   Ahmadon, Mohd Anuaruddin Bin and Yamaguchi, Shingo and Gupta, B.B.  (2018) Petri net-based verification of security protocol implementation in software evolution.  International Journal of Embedded Systems, 10 (6).  503 – 517.  ISSN 17411068     
relation: https://www.scopus.com/inward/record.uri?eid=2-s2.0-85055805993&doi=10.1504%2fIJES.2018.095754&partnerID=40&md5=0f3aeeff84d27277a15ec0216cd24c0c
relation: 10.1504/IJES.2018.095754
identifier: 10.1504/IJES.2018.095754