@inproceedings{scholars20404,
             doi = {10.1109/GCCE.2016.7800491},
       publisher = {Institute of Electrical and Electronics Engineers Inc.},
           title = {On verification of implementation of security specification with Petri nets' protocol inheritance},
         journal = {2016 IEEE 5th Global Conference on Consumer Electronics, GCCE 2016},
            year = {2016},
            note = {Cited by: 2},
          author = {Tang, Wenshan and Gou, Zhaolong and Ahmadon, Mohd Anuaruddin Bin and Yamaguchi, Shingo},
            isbn = {978-150902333-2},
             url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-85010282284&doi=10.1109\%2fGCCE.2016.7800491&partnerID=40&md5=681991adf64d90550b37e616a4c4b379}
}