<> <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> <http://eprints.uet.vnu.edu.vn/eprints/id/eprint/1647> .
<http://eprints.uet.vnu.edu.vn/eprints/id/eprint/1647> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/AcademicArticle> .
<http://eprints.uet.vnu.edu.vn/eprints/id/eprint/1647> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Article> .
<http://eprints.uet.vnu.edu.vn/eprints/id/eprint/1647> <http://purl.org/dc/terms/title> "Verifying eventuality properties of imprecise system requirements using event-B"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.uet.vnu.edu.vn/eprints/id/eprint/1647> <http://purl.org/dc/terms/date> "2015" .
<http://eprints.uet.vnu.edu.vn/eprints/id/eprint/1647> <http://www.w3.org/2002/07/owl#sameAs> <info:doi/10.1145/2695664.2696038> .
<http://eprints.uet.vnu.edu.vn/eprints/id/eprint/1647> <http://purl.org/ontology/bibo/status> <http://purl.org/ontology/bibo/status/peerReviewed> .
<http://eprints.uet.vnu.edu.vn/eprints/id/eprint/1647> <http://purl.org/ontology/bibo/status> <http://purl.org/ontology/bibo/status/published> .
<http://eprints.uet.vnu.edu.vn/eprints/id/eprint/1647> <http://purl.org/dc/terms/creator> <http://eprints.uet.vnu.edu.vn/eprints/id/person/ext-4ba61bef6ab8a662d6e306f5b17c52c3> .
<http://eprints.uet.vnu.edu.vn/eprints/id/eprint/1647> <http://purl.org/ontology/bibo/authorList> <http://eprints.uet.vnu.edu.vn/eprints/id/eprint/1647#authors> .
<http://eprints.uet.vnu.edu.vn/eprints/id/eprint/1647#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> <http://eprints.uet.vnu.edu.vn/eprints/id/person/ext-4ba61bef6ab8a662d6e306f5b17c52c3> .
<http://eprints.uet.vnu.edu.vn/eprints/id/eprint/1647> <http://purl.org/dc/terms/creator> <http://eprints.uet.vnu.edu.vn/eprints/id/person/ext-thuantn@vnu.edu.vn> .
<http://eprints.uet.vnu.edu.vn/eprints/id/eprint/1647> <http://purl.org/ontology/bibo/authorList> <http://eprints.uet.vnu.edu.vn/eprints/id/eprint/1647#authors> .
<http://eprints.uet.vnu.edu.vn/eprints/id/eprint/1647#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_2> <http://eprints.uet.vnu.edu.vn/eprints/id/person/ext-thuantn@vnu.edu.vn> .
<http://eprints.uet.vnu.edu.vn/eprints/id/eprint/1647> <http://purl.org/dc/terms/creator> <http://eprints.uet.vnu.edu.vn/eprints/id/person/ext-cae4fdb759e9fb4e3201aaf030e967bf> .
<http://eprints.uet.vnu.edu.vn/eprints/id/eprint/1647> <http://purl.org/ontology/bibo/authorList> <http://eprints.uet.vnu.edu.vn/eprints/id/eprint/1647#authors> .
<http://eprints.uet.vnu.edu.vn/eprints/id/eprint/1647#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_3> <http://eprints.uet.vnu.edu.vn/eprints/id/person/ext-cae4fdb759e9fb4e3201aaf030e967bf> .
<http://eprints.uet.vnu.edu.vn/eprints/id/person/ext-cae4fdb759e9fb4e3201aaf030e967bf> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<http://eprints.uet.vnu.edu.vn/eprints/id/person/ext-cae4fdb759e9fb4e3201aaf030e967bf> <http://xmlns.com/foaf/0.1/givenName> "Shin"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.uet.vnu.edu.vn/eprints/id/person/ext-cae4fdb759e9fb4e3201aaf030e967bf> <http://xmlns.com/foaf/0.1/familyName> "Nakajima"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.uet.vnu.edu.vn/eprints/id/person/ext-cae4fdb759e9fb4e3201aaf030e967bf> <http://xmlns.com/foaf/0.1/name> "Shin Nakajima"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.uet.vnu.edu.vn/eprints/id/person/ext-thuantn@vnu.edu.vn> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<http://eprints.uet.vnu.edu.vn/eprints/id/person/ext-thuantn@vnu.edu.vn> <http://xmlns.com/foaf/0.1/givenName> "Ninh Thuan"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.uet.vnu.edu.vn/eprints/id/person/ext-thuantn@vnu.edu.vn> <http://xmlns.com/foaf/0.1/familyName> "Truong"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.uet.vnu.edu.vn/eprints/id/person/ext-thuantn@vnu.edu.vn> <http://xmlns.com/foaf/0.1/name> "Ninh Thuan Truong"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.uet.vnu.edu.vn/eprints/id/person/ext-4ba61bef6ab8a662d6e306f5b17c52c3> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<http://eprints.uet.vnu.edu.vn/eprints/id/person/ext-4ba61bef6ab8a662d6e306f5b17c52c3> <http://xmlns.com/foaf/0.1/givenName> "Hong Anh"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.uet.vnu.edu.vn/eprints/id/person/ext-4ba61bef6ab8a662d6e306f5b17c52c3> <http://xmlns.com/foaf/0.1/familyName> "Le"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.uet.vnu.edu.vn/eprints/id/person/ext-4ba61bef6ab8a662d6e306f5b17c52c3> <http://xmlns.com/foaf/0.1/name> "Hong Anh Le"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.uet.vnu.edu.vn/eprints/id/eprint/1647> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Article> .
<http://eprints.uet.vnu.edu.vn/eprints/id/eprint/1647> <http://purl.org/ontology/bibo/presentedAt> <http://eprints.uet.vnu.edu.vn/eprints/id/event/ext-2a6d23cd89f876601901f81ecd75cbd3> .
<http://eprints.uet.vnu.edu.vn/eprints/id/event/ext-2a6d23cd89f876601901f81ecd75cbd3> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Conference> .
<http://eprints.uet.vnu.edu.vn/eprints/id/event/ext-2a6d23cd89f876601901f81ecd75cbd3> <http://purl.org/dc/terms/title> "SAC 2015"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.uet.vnu.edu.vn/eprints/id/eprint/1647> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/EPrint> .
<http://eprints.uet.vnu.edu.vn/eprints/id/eprint/1647> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/ConferenceItemEPrint> .
<http://eprints.uet.vnu.edu.vn/eprints/id/eprint/1647> <http://purl.org/dc/terms/isPartOf> <http://eprints.uet.vnu.edu.vn/eprints/id/repository> .
<http://eprints.uet.vnu.edu.vn/eprints/id/eprint/1647> <http://www.w3.org/2000/01/rdf-schema#seeAlso> <https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1647/> .
<https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1647/> <http://purl.org/dc/elements/1.1/title> "HTML Summary of #1647 \n\nVerifying eventuality properties of imprecise system requirements using event-B\n\n" .
<https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1647/> <http://purl.org/dc/elements/1.1/format> "text/html" .
<https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1647/> <http://xmlns.com/foaf/0.1/primaryTopic> <http://eprints.uet.vnu.edu.vn/eprints/id/eprint/1647> .
<http://eprints.uet.vnu.edu.vn/eprints/id/subject/IT> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> .
<http://eprints.uet.vnu.edu.vn/eprints/id/subject/IT> <http://www.w3.org/2004/02/skos/core#prefLabel> "Information Technology (IT)"@en .
<http://eprints.uet.vnu.edu.vn/eprints/id/eprint/1647> <http://purl.org/dc/terms/subject> <http://eprints.uet.vnu.edu.vn/eprints/id/subject/IT> .