The repository administrator has not yet configured an RDF license.
On verification of implementation of security specification with Petri nets' protocol inheritance
Institute of Electrical and Electronics Engineers Inc.
2016 IEEE 5th Global Conference on Consumer Electronics, GCCE 2016
HTML Summary of #20404 On verification of implementation of security specification with Petri nets' protocol inheritance