<> <http://www.w3.org/2000/01/rdf-schema#comment> "The repository administrator has not yet configured an RDF license."^^<http://www.w3.org/2001/XMLSchema#string> .
<> <http://xmlns.com/foaf/0.1/primaryTopic> <https://khub.utp.edu.my/scholars/id/eprint/20385> .
<https://khub.utp.edu.my/scholars/id/eprint/20385> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/AcademicArticle> .
<https://khub.utp.edu.my/scholars/id/eprint/20385> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Article> .
<https://khub.utp.edu.my/scholars/id/eprint/20385> <http://purl.org/dc/terms/title> "Petri net-based verification of security protocol implementation in software evolution"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://khub.utp.edu.my/scholars/id/eprint/20385> <http://purl.org/dc/terms/date> "2018" .
<https://khub.utp.edu.my/scholars/id/eprint/20385> <http://www.w3.org/2002/07/owl#sameAs> <https://doi.org/10.1504/IJES.2018.095754> .
<https://khub.utp.edu.my/scholars/id/eprint/20385> <http://purl.org/ontology/bibo/volume> "10" .
<https://khub.utp.edu.my/scholars/id/eprint/20385> <http://purl.org/ontology/bibo/issue> "6" .
<https://khub.utp.edu.my/scholars/id/org/ext-b5e099b8c1bc8e14c262ab698e11b598> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Organization> .
<https://khub.utp.edu.my/scholars/id/org/ext-b5e099b8c1bc8e14c262ab698e11b598> <http://xmlns.com/foaf/0.1/name> "Inderscience Publishers"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://khub.utp.edu.my/scholars/id/eprint/20385> <http://purl.org/dc/terms/publisher> <https://khub.utp.edu.my/scholars/id/org/ext-b5e099b8c1bc8e14c262ab698e11b598> .
<https://khub.utp.edu.my/scholars/id/publication/ext-17411068> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Collection> .
<https://khub.utp.edu.my/scholars/id/publication/ext-17411068> <http://xmlns.com/foaf/0.1/name> "International Journal of Embedded Systems"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://khub.utp.edu.my/scholars/id/eprint/20385> <http://purl.org/dc/terms/isPartOf> <https://khub.utp.edu.my/scholars/id/publication/ext-17411068> .
<https://khub.utp.edu.my/scholars/id/publication/ext-17411068> <http://www.w3.org/2002/07/owl#sameAs> <urn:issn:17411068> .
<https://khub.utp.edu.my/scholars/id/publication/ext-17411068> <http://purl.org/ontology/bibo/issn> "17411068" .
<https://khub.utp.edu.my/scholars/id/eprint/20385> <http://purl.org/ontology/bibo/status> <http://purl.org/ontology/bibo/status/peerReviewed> .
<https://khub.utp.edu.my/scholars/id/eprint/20385> <http://purl.org/ontology/bibo/status> <http://purl.org/ontology/bibo/status/published> .
<https://khub.utp.edu.my/scholars/id/eprint/20385> <http://purl.org/dc/terms/creator> <https://khub.utp.edu.my/scholars/id/person/ext-fa3bd34b2adef76fd8676e1710ffc0fa> .
<https://khub.utp.edu.my/scholars/id/eprint/20385> <http://purl.org/ontology/bibo/authorList> <https://khub.utp.edu.my/scholars/id/eprint/20385#authors> .
<https://khub.utp.edu.my/scholars/id/eprint/20385#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> <https://khub.utp.edu.my/scholars/id/person/ext-fa3bd34b2adef76fd8676e1710ffc0fa> .
<https://khub.utp.edu.my/scholars/id/eprint/20385> <http://purl.org/dc/terms/creator> <https://khub.utp.edu.my/scholars/id/person/ext-ebe7a3f19b67bd9a5e29c60fc43d2618> .
<https://khub.utp.edu.my/scholars/id/eprint/20385> <http://purl.org/ontology/bibo/authorList> <https://khub.utp.edu.my/scholars/id/eprint/20385#authors> .
<https://khub.utp.edu.my/scholars/id/eprint/20385#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_2> <https://khub.utp.edu.my/scholars/id/person/ext-ebe7a3f19b67bd9a5e29c60fc43d2618> .
<https://khub.utp.edu.my/scholars/id/eprint/20385> <http://purl.org/dc/terms/creator> <https://khub.utp.edu.my/scholars/id/person/ext-eb4c45c3fd0233f7d6ee61b454415240> .
<https://khub.utp.edu.my/scholars/id/eprint/20385> <http://purl.org/ontology/bibo/authorList> <https://khub.utp.edu.my/scholars/id/eprint/20385#authors> .
<https://khub.utp.edu.my/scholars/id/eprint/20385#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_3> <https://khub.utp.edu.my/scholars/id/person/ext-eb4c45c3fd0233f7d6ee61b454415240> .
<https://khub.utp.edu.my/scholars/id/person/ext-ebe7a3f19b67bd9a5e29c60fc43d2618> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://khub.utp.edu.my/scholars/id/person/ext-ebe7a3f19b67bd9a5e29c60fc43d2618> <http://xmlns.com/foaf/0.1/givenName> "Shingo"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://khub.utp.edu.my/scholars/id/person/ext-ebe7a3f19b67bd9a5e29c60fc43d2618> <http://xmlns.com/foaf/0.1/familyName> "Yamaguchi"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://khub.utp.edu.my/scholars/id/person/ext-ebe7a3f19b67bd9a5e29c60fc43d2618> <http://xmlns.com/foaf/0.1/name> "Shingo Yamaguchi"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://khub.utp.edu.my/scholars/id/person/ext-eb4c45c3fd0233f7d6ee61b454415240> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://khub.utp.edu.my/scholars/id/person/ext-eb4c45c3fd0233f7d6ee61b454415240> <http://xmlns.com/foaf/0.1/givenName> "B.B."^^<http://www.w3.org/2001/XMLSchema#string> .
<https://khub.utp.edu.my/scholars/id/person/ext-eb4c45c3fd0233f7d6ee61b454415240> <http://xmlns.com/foaf/0.1/familyName> "Gupta"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://khub.utp.edu.my/scholars/id/person/ext-eb4c45c3fd0233f7d6ee61b454415240> <http://xmlns.com/foaf/0.1/name> "B.B. Gupta"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://khub.utp.edu.my/scholars/id/person/ext-fa3bd34b2adef76fd8676e1710ffc0fa> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://khub.utp.edu.my/scholars/id/person/ext-fa3bd34b2adef76fd8676e1710ffc0fa> <http://xmlns.com/foaf/0.1/givenName> "Mohd Anuaruddin Bin"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://khub.utp.edu.my/scholars/id/person/ext-fa3bd34b2adef76fd8676e1710ffc0fa> <http://xmlns.com/foaf/0.1/familyName> "Ahmadon"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://khub.utp.edu.my/scholars/id/person/ext-fa3bd34b2adef76fd8676e1710ffc0fa> <http://xmlns.com/foaf/0.1/name> "Mohd Anuaruddin Bin Ahmadon"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://khub.utp.edu.my/scholars/id/eprint/20385> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/EPrint> .
<https://khub.utp.edu.my/scholars/id/eprint/20385> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/ArticleEPrint> .
<https://khub.utp.edu.my/scholars/id/eprint/20385> <http://purl.org/dc/terms/isPartOf> <https://khub.utp.edu.my/scholars/id/repository> .
<https://khub.utp.edu.my/scholars/id/eprint/20385> <http://www.w3.org/2000/01/rdf-schema#seeAlso> <https://khub.utp.edu.my/scholars/20385/> .
<https://khub.utp.edu.my/scholars/20385/> <http://purl.org/dc/elements/1.1/title> "HTML Summary of #20385 \n\nPetri net-based verification of security protocol implementation in software evolution\n\n" .
<https://khub.utp.edu.my/scholars/20385/> <http://purl.org/dc/elements/1.1/format> "text/html" .
<https://khub.utp.edu.my/scholars/20385/> <http://xmlns.com/foaf/0.1/primaryTopic> <https://khub.utp.edu.my/scholars/id/eprint/20385> .