<> <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/2039> .
<http://eprints.uet.vnu.edu.vn/eprints/id/eprint/2039> <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/2039> <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/2039> <http://purl.org/dc/terms/title> "A Minimized Assumption Generation Method for Component-Based Software Verification"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.uet.vnu.edu.vn/eprints/id/eprint/2039> <http://purl.org/dc/terms/date> "2010-08" .
<http://eprints.uet.vnu.edu.vn/eprints/id/eprint/2039> <http://purl.org/ontology/bibo/volume> "E93-D" .
<http://eprints.uet.vnu.edu.vn/eprints/id/eprint/2039> <http://purl.org/ontology/bibo/issue> "8" .
<http://eprints.uet.vnu.edu.vn/eprints/id/org/ext-7eb7b641b2439620b9b826350974a812> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Organization> .
<http://eprints.uet.vnu.edu.vn/eprints/id/org/ext-7eb7b641b2439620b9b826350974a812> <http://xmlns.com/foaf/0.1/name> "IEICE"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.uet.vnu.edu.vn/eprints/id/eprint/2039> <http://purl.org/dc/terms/publisher> <http://eprints.uet.vnu.edu.vn/eprints/id/org/ext-7eb7b641b2439620b9b826350974a812> .
<http://eprints.uet.vnu.edu.vn/eprints/id/publication/ext-09168532> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Collection> .
<http://eprints.uet.vnu.edu.vn/eprints/id/publication/ext-09168532> <http://xmlns.com/foaf/0.1/name> "IEICE Transactions on Information and Systems"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.uet.vnu.edu.vn/eprints/id/eprint/2039> <http://purl.org/dc/terms/isPartOf> <http://eprints.uet.vnu.edu.vn/eprints/id/publication/ext-09168532> .
<http://eprints.uet.vnu.edu.vn/eprints/id/publication/ext-09168532> <http://www.w3.org/2002/07/owl#sameAs> <urn:issn:09168532> .
<http://eprints.uet.vnu.edu.vn/eprints/id/publication/ext-09168532> <http://purl.org/ontology/bibo/issn> "09168532" .
<http://eprints.uet.vnu.edu.vn/eprints/id/eprint/2039> <http://purl.org/ontology/bibo/status> <http://purl.org/ontology/bibo/status/peerReviewed> .
<http://eprints.uet.vnu.edu.vn/eprints/id/eprint/2039> <http://purl.org/ontology/bibo/status> <http://purl.org/ontology/bibo/status/published> .
<http://eprints.uet.vnu.edu.vn/eprints/id/eprint/2039> <http://purl.org/dc/terms/creator> <http://eprints.uet.vnu.edu.vn/eprints/id/person/ext-hungpn@vnu.edu.vn> .
<http://eprints.uet.vnu.edu.vn/eprints/id/eprint/2039> <http://purl.org/ontology/bibo/authorList> <http://eprints.uet.vnu.edu.vn/eprints/id/eprint/2039#authors> .
<http://eprints.uet.vnu.edu.vn/eprints/id/eprint/2039#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> <http://eprints.uet.vnu.edu.vn/eprints/id/person/ext-hungpn@vnu.edu.vn> .
<http://eprints.uet.vnu.edu.vn/eprints/id/eprint/2039> <http://purl.org/dc/terms/creator> <http://eprints.uet.vnu.edu.vn/eprints/id/person/ext-hanv@vnu.edu.vn> .
<http://eprints.uet.vnu.edu.vn/eprints/id/eprint/2039> <http://purl.org/ontology/bibo/authorList> <http://eprints.uet.vnu.edu.vn/eprints/id/eprint/2039#authors> .
<http://eprints.uet.vnu.edu.vn/eprints/id/eprint/2039#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_2> <http://eprints.uet.vnu.edu.vn/eprints/id/person/ext-hanv@vnu.edu.vn> .
<http://eprints.uet.vnu.edu.vn/eprints/id/eprint/2039> <http://purl.org/dc/terms/creator> <http://eprints.uet.vnu.edu.vn/eprints/id/person/ext-9598945f01849d9d9743c0f9eec48634> .
<http://eprints.uet.vnu.edu.vn/eprints/id/eprint/2039> <http://purl.org/ontology/bibo/authorList> <http://eprints.uet.vnu.edu.vn/eprints/id/eprint/2039#authors> .
<http://eprints.uet.vnu.edu.vn/eprints/id/eprint/2039#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_3> <http://eprints.uet.vnu.edu.vn/eprints/id/person/ext-9598945f01849d9d9743c0f9eec48634> .
<http://eprints.uet.vnu.edu.vn/eprints/id/eprint/2039> <http://purl.org/dc/terms/creator> <http://eprints.uet.vnu.edu.vn/eprints/id/person/ext-6c6e4eedddd1b824ebf1bc565f3b71e7> .
<http://eprints.uet.vnu.edu.vn/eprints/id/eprint/2039> <http://purl.org/ontology/bibo/authorList> <http://eprints.uet.vnu.edu.vn/eprints/id/eprint/2039#authors> .
<http://eprints.uet.vnu.edu.vn/eprints/id/eprint/2039#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_4> <http://eprints.uet.vnu.edu.vn/eprints/id/person/ext-6c6e4eedddd1b824ebf1bc565f3b71e7> .
<http://eprints.uet.vnu.edu.vn/eprints/id/person/ext-hungpn@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-hungpn@vnu.edu.vn> <http://xmlns.com/foaf/0.1/givenName> "Ngoc Hung"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.uet.vnu.edu.vn/eprints/id/person/ext-hungpn@vnu.edu.vn> <http://xmlns.com/foaf/0.1/familyName> "Pham"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.uet.vnu.edu.vn/eprints/id/person/ext-hungpn@vnu.edu.vn> <http://xmlns.com/foaf/0.1/name> "Ngoc Hung Pham"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.uet.vnu.edu.vn/eprints/id/person/ext-6c6e4eedddd1b824ebf1bc565f3b71e7> <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-6c6e4eedddd1b824ebf1bc565f3b71e7> <http://xmlns.com/foaf/0.1/givenName> "Katayama"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.uet.vnu.edu.vn/eprints/id/person/ext-6c6e4eedddd1b824ebf1bc565f3b71e7> <http://xmlns.com/foaf/0.1/familyName> "Takuya"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.uet.vnu.edu.vn/eprints/id/person/ext-6c6e4eedddd1b824ebf1bc565f3b71e7> <http://xmlns.com/foaf/0.1/name> "Katayama Takuya"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.uet.vnu.edu.vn/eprints/id/person/ext-9598945f01849d9d9743c0f9eec48634> <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-9598945f01849d9d9743c0f9eec48634> <http://xmlns.com/foaf/0.1/givenName> "Aoki"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.uet.vnu.edu.vn/eprints/id/person/ext-9598945f01849d9d9743c0f9eec48634> <http://xmlns.com/foaf/0.1/familyName> "Toshiaki"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.uet.vnu.edu.vn/eprints/id/person/ext-9598945f01849d9d9743c0f9eec48634> <http://xmlns.com/foaf/0.1/name> "Aoki Toshiaki"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.uet.vnu.edu.vn/eprints/id/person/ext-hanv@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-hanv@vnu.edu.vn> <http://xmlns.com/foaf/0.1/givenName> "Viet Ha"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.uet.vnu.edu.vn/eprints/id/person/ext-hanv@vnu.edu.vn> <http://xmlns.com/foaf/0.1/familyName> "Nguyen"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.uet.vnu.edu.vn/eprints/id/person/ext-hanv@vnu.edu.vn> <http://xmlns.com/foaf/0.1/name> "Viet Ha Nguyen"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.uet.vnu.edu.vn/eprints/id/eprint/2039> <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/2039> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/ArticleEPrint> .
<http://eprints.uet.vnu.edu.vn/eprints/id/eprint/2039> <http://purl.org/dc/terms/isPartOf> <http://eprints.uet.vnu.edu.vn/eprints/id/repository> .
<http://eprints.uet.vnu.edu.vn/eprints/id/eprint/2039> <http://www.w3.org/2000/01/rdf-schema#seeAlso> <https://eprints.uet.vnu.edu.vn/eprints/id/eprint/2039/> .
<https://eprints.uet.vnu.edu.vn/eprints/id/eprint/2039/> <http://purl.org/dc/elements/1.1/title> "HTML Summary of #2039 \n\nA Minimized Assumption Generation Method for Component-Based Software Verification\n\n" .
<https://eprints.uet.vnu.edu.vn/eprints/id/eprint/2039/> <http://purl.org/dc/elements/1.1/format> "text/html" .
<https://eprints.uet.vnu.edu.vn/eprints/id/eprint/2039/> <http://xmlns.com/foaf/0.1/primaryTopic> <http://eprints.uet.vnu.edu.vn/eprints/id/eprint/2039> .
<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/2039> <http://purl.org/dc/terms/subject> <http://eprints.uet.vnu.edu.vn/eprints/id/subject/IT> .
<http://eprints.uet.vnu.edu.vn/eprints/id/subject/isi> <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/isi> <http://www.w3.org/2004/02/skos/core#prefLabel> "ISI-indexed journals"@en .
<http://eprints.uet.vnu.edu.vn/eprints/id/eprint/2039> <http://purl.org/dc/terms/subject> <http://eprints.uet.vnu.edu.vn/eprints/id/subject/isi> .