eprintid: 20385
rev_number: 3
eprint_status: archive
userid: 1
dir: disk0/00/02/03/85
datestamp: 2025-11-06 06:21:55
lastmod: 2025-11-06 06:21:55
status_changed: 2025-11-06 06:21:55
type: article
metadata_visibility: show
creators_name: Ahmadon, Mohd Anuaruddin Bin
creators_name: Yamaguchi, Shingo
creators_name: Gupta, B.B.
title: Petri net-based verification of security protocol implementation in software evolution
ispublished: pub
note: Cited by: 7
date: 2018
publisher: Inderscience Publishers
official_url: https://www.scopus.com/inward/record.uri?eid=2-s2.0-85055805993&doi=10.1504%2fIJES.2018.095754&partnerID=40&md5=0f3aeeff84d27277a15ec0216cd24c0c
id_number: 10.1504/IJES.2018.095754
full_text_status: none
publication: International Journal of Embedded Systems
volume: 10
number: 6
pagerange: 503 – 517
refereed: TRUE
issn: 17411068
citation:   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