relation: https://khub.utp.edu.my/scholars/20404/
title: On verification of implementation of security specification with Petri nets' protocol inheritance
creator: Tang, Wenshan
creator: Gou, Zhaolong
creator: Ahmadon, Mohd Anuaruddin Bin
creator: Yamaguchi, Shingo
publisher: Institute of Electrical and Electronics Engineers Inc.
date: 2016
type: Conference or Workshop Item
type: PeerReviewed
identifier:   Tang, Wenshan and Gou, Zhaolong and Ahmadon, Mohd Anuaruddin Bin and Yamaguchi, Shingo  (2016) On verification of implementation of security specification with Petri nets' protocol inheritance.  In: UNSPECIFIED.     
relation: https://www.scopus.com/inward/record.uri?eid=2-s2.0-85010282284&doi=10.1109%2fGCCE.2016.7800491&partnerID=40&md5=681991adf64d90550b37e616a4c4b379
relation: 10.1109/GCCE.2016.7800491
identifier: 10.1109/GCCE.2016.7800491