TY  - CONF
TI  - On verification of implementation of security specification with Petri nets' protocol inheritance
SN  - 978-150902333-2
N1  - Cited by: 2
Y1  - 2016///
A1  - Tang, Wenshan
A1  - Gou, Zhaolong
A1  - Ahmadon, Mohd Anuaruddin Bin
A1  - Yamaguchi, Shingo
AV  - none
ID  - scholars20404
UR  - https://www.scopus.com/inward/record.uri?eid=2-s2.0-85010282284&doi=10.1109%2fGCCE.2016.7800491&partnerID=40&md5=681991adf64d90550b37e616a4c4b379
PB  - Institute of Electrical and Electronics Engineers Inc.
ER  -