TY  - JOUR
TI  - Petri net-based verification of security protocol implementation in software evolution
SN  - 17411068
VL  - 10
IS  - 6
A1  - Ahmadon, Mohd Anuaruddin Bin
A1  - Yamaguchi, Shingo
A1  - Gupta, B.B.
Y1  - 2018///
N1  - Cited by: 7
UR  - https://www.scopus.com/inward/record.uri?eid=2-s2.0-85055805993&doi=10.1504%2fIJES.2018.095754&partnerID=40&md5=0f3aeeff84d27277a15ec0216cd24c0c
ID  - scholars20385
JF  - International Journal of Embedded Systems
AV  - none
PB  - Inderscience Publishers
ER  -