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.

Full text not available from this repository.

Item Type:	Conference or Workshop Item (UNSPECIFIED)
Additional Information:	Cited by: 2
Depositing User:	Mr Ahmad Suhairi UTP
Date Deposited:	06 Nov 2025 06:28
Last Modified:	06 Nov 2025 06:28
URI:	https://khub.utp.edu.my/scholars/id/eprint/20404

Actions (login required)

View Item