<> <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/3598> .
<http://eprints.uet.vnu.edu.vn/eprints/id/eprint/3598> <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/3598> <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/3598> <http://purl.org/dc/terms/title> "On Implementation of the Improved Assume-Guarantee Verification Method for Timed Systems"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.uet.vnu.edu.vn/eprints/id/eprint/3598> <http://purl.org/dc/terms/date> "2019-12" .
<http://eprints.uet.vnu.edu.vn/eprints/id/document/1952> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Document> .
<http://eprints.uet.vnu.edu.vn/eprints/id/eprint/3598> <http://purl.org/ontology/bibo/status> <http://purl.org/ontology/bibo/status/nonPeerReviewed> .
<http://eprints.uet.vnu.edu.vn/eprints/id/eprint/3598> <http://purl.org/ontology/bibo/status> <http://purl.org/ontology/bibo/status/forthcoming> .
<http://eprints.uet.vnu.edu.vn/eprints/id/eprint/3598> <http://purl.org/dc/terms/creator> <http://eprints.uet.vnu.edu.vn/eprints/id/person/ext-vietth2004@gmail.com> .
<http://eprints.uet.vnu.edu.vn/eprints/id/eprint/3598> <http://purl.org/ontology/bibo/authorList> <http://eprints.uet.vnu.edu.vn/eprints/id/eprint/3598#authors> .
<http://eprints.uet.vnu.edu.vn/eprints/id/eprint/3598#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> <http://eprints.uet.vnu.edu.vn/eprints/id/person/ext-vietth2004@gmail.com> .
<http://eprints.uet.vnu.edu.vn/eprints/id/eprint/3598> <http://purl.org/dc/terms/creator> <http://eprints.uet.vnu.edu.vn/eprints/id/person/ext-trungnq@vcu.edu.vn> .
<http://eprints.uet.vnu.edu.vn/eprints/id/eprint/3598> <http://purl.org/ontology/bibo/authorList> <http://eprints.uet.vnu.edu.vn/eprints/id/eprint/3598#authors> .
<http://eprints.uet.vnu.edu.vn/eprints/id/eprint/3598#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_2> <http://eprints.uet.vnu.edu.vn/eprints/id/person/ext-trungnq@vcu.edu.vn> .
<http://eprints.uet.vnu.edu.vn/eprints/id/eprint/3598> <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/3598> <http://purl.org/ontology/bibo/authorList> <http://eprints.uet.vnu.edu.vn/eprints/id/eprint/3598#authors> .
<http://eprints.uet.vnu.edu.vn/eprints/id/eprint/3598#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_3> <http://eprints.uet.vnu.edu.vn/eprints/id/person/ext-hungpn@vnu.edu.vn> .
<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-trungnq@vcu.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-trungnq@vcu.edu.vn> <http://xmlns.com/foaf/0.1/givenName> "Quang-Trung"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.uet.vnu.edu.vn/eprints/id/person/ext-trungnq@vcu.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-trungnq@vcu.edu.vn> <http://xmlns.com/foaf/0.1/name> "Quang-Trung Nguyen"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.uet.vnu.edu.vn/eprints/id/person/ext-vietth2004@gmail.com> <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-vietth2004@gmail.com> <http://xmlns.com/foaf/0.1/givenName> "Hoang Viet"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.uet.vnu.edu.vn/eprints/id/person/ext-vietth2004@gmail.com> <http://xmlns.com/foaf/0.1/familyName> "Tran"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.uet.vnu.edu.vn/eprints/id/person/ext-vietth2004@gmail.com> <http://xmlns.com/foaf/0.1/name> "Hoang Viet Tran"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.uet.vnu.edu.vn/eprints/id/eprint/3598> <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/3598> <http://purl.org/ontology/bibo/presentedAt> <http://eprints.uet.vnu.edu.vn/eprints/id/event/ext-52f57f648844d403d31ef2173a005fa0> .
<http://eprints.uet.vnu.edu.vn/eprints/id/event/ext-52f57f648844d403d31ef2173a005fa0> <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-52f57f648844d403d31ef2173a005fa0> <http://purl.org/dc/terms/title> "THE 10TH INTERNATIONAL SYMPOSIUM ON INFORMATION AND COMMUNICATION TECHNOLOGY"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.uet.vnu.edu.vn/eprints/id/event/ext-52f57f648844d403d31ef2173a005fa0> <http://purl.org/NET/c4dm/event.owl#place> <http://eprints.uet.vnu.edu.vn/eprints/id/location/ext-8e9c83eddec6ab7d09f328e562090d32> .
<http://eprints.uet.vnu.edu.vn/eprints/id/event/ext-52f57f648844d403d31ef2173a005fa0> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/NET/c4dm/event.owl#Event> .
<http://eprints.uet.vnu.edu.vn/eprints/id/event/ext-52f57f648844d403d31ef2173a005fa0> <http://purl.org/NET/c4dm/event.owl#place> <http://eprints.uet.vnu.edu.vn/eprints/id/location/ext-8e9c83eddec6ab7d09f328e562090d32> .
<http://eprints.uet.vnu.edu.vn/eprints/id/location/ext-8e9c83eddec6ab7d09f328e562090d32> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2003/01/geo/wgs84_pos#SpatialThing> .
<http://eprints.uet.vnu.edu.vn/eprints/id/location/ext-8e9c83eddec6ab7d09f328e562090d32> <http://www.w3.org/2000/01/rdf-schema#label> "Ha Long Bay, Quang Ninh, Vietnam"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.uet.vnu.edu.vn/eprints/id/eprint/3598> <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/3598> <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/3598> <http://purl.org/dc/terms/isPartOf> <http://eprints.uet.vnu.edu.vn/eprints/id/repository> .
<http://eprints.uet.vnu.edu.vn/eprints/id/eprint/3598> <http://eprints.org/ontology/hasDocument> <http://eprints.uet.vnu.edu.vn/eprints/id/document/1952> .
<http://eprints.uet.vnu.edu.vn/eprints/id/document/1952> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<http://eprints.uet.vnu.edu.vn/eprints/id/document/1952> <http://www.w3.org/2000/01/rdf-schema#label> "On Implementation of the Improved Assume-Guarantee Verification Method for Timed Systems (PDF)"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.uet.vnu.edu.vn/eprints/id/document/1952> <http://eprints.org/ontology/hasFile> <https://eprints.uet.vnu.edu.vn/eprints/id/eprint/3598/1/paper%2016.pdf> .
<http://eprints.uet.vnu.edu.vn/eprints/id/document/1952> <http://purl.org/dc/terms/hasPart> <https://eprints.uet.vnu.edu.vn/eprints/id/eprint/3598/1/paper%2016.pdf> .
<https://eprints.uet.vnu.edu.vn/eprints/id/eprint/3598/1/paper%2016.pdf> <http://www.w3.org/2000/01/rdf-schema#label> "paper 16.pdf"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.uet.vnu.edu.vn/eprints/id/eprint/3598> <http://eprints.org/ontology/hasDocument> <http://eprints.uet.vnu.edu.vn/eprints/id/document/1953> .
<http://eprints.uet.vnu.edu.vn/eprints/id/document/1953> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<http://eprints.uet.vnu.edu.vn/eprints/id/document/1953> <http://www.w3.org/2000/01/rdf-schema#label> "On Implementation of the Improved Assume-Guarantee Verification Method for Timed Systems (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.uet.vnu.edu.vn/eprints/id/document/1953> <http://eprints.org/relation/isVersionOf> <http://eprints.uet.vnu.edu.vn/eprints/id/document/1952> .
<http://eprints.uet.vnu.edu.vn/eprints/id/document/1953> <http://eprints.org/relation/isVolatileVersionOf> <http://eprints.uet.vnu.edu.vn/eprints/id/document/1952> .
<http://eprints.uet.vnu.edu.vn/eprints/id/document/1953> <http://eprints.org/relation/isIndexCodesVersionOf> <http://eprints.uet.vnu.edu.vn/eprints/id/document/1952> .
<http://eprints.uet.vnu.edu.vn/eprints/id/document/1953> <http://eprints.org/ontology/hasFile> <https://eprints.uet.vnu.edu.vn/eprints/id/eprint/3598/2/indexcodes.txt> .
<http://eprints.uet.vnu.edu.vn/eprints/id/document/1953> <http://purl.org/dc/terms/hasPart> <https://eprints.uet.vnu.edu.vn/eprints/id/eprint/3598/2/indexcodes.txt> .
<https://eprints.uet.vnu.edu.vn/eprints/id/eprint/3598/2/indexcodes.txt> <http://www.w3.org/2000/01/rdf-schema#label> "indexcodes.txt"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.uet.vnu.edu.vn/eprints/id/eprint/3598> <http://eprints.org/ontology/hasDocument> <http://eprints.uet.vnu.edu.vn/eprints/id/document/1960> .
<http://eprints.uet.vnu.edu.vn/eprints/id/document/1960> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<http://eprints.uet.vnu.edu.vn/eprints/id/document/1960> <http://www.w3.org/2000/01/rdf-schema#label> "On Implementation of the Improved Assume-Guarantee Verification Method for Timed Systems (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.uet.vnu.edu.vn/eprints/id/document/1960> <http://eprints.org/relation/isVersionOf> <http://eprints.uet.vnu.edu.vn/eprints/id/document/1952> .
<http://eprints.uet.vnu.edu.vn/eprints/id/document/1960> <http://eprints.org/relation/isVolatileVersionOf> <http://eprints.uet.vnu.edu.vn/eprints/id/document/1952> .
<http://eprints.uet.vnu.edu.vn/eprints/id/document/1960> <http://eprints.org/relation/islightboxThumbnailVersionOf> <http://eprints.uet.vnu.edu.vn/eprints/id/document/1952> .
<http://eprints.uet.vnu.edu.vn/eprints/id/document/1960> <http://eprints.org/ontology/hasFile> <https://eprints.uet.vnu.edu.vn/eprints/id/eprint/3598/3/lightbox.jpg> .
<http://eprints.uet.vnu.edu.vn/eprints/id/document/1960> <http://purl.org/dc/terms/hasPart> <https://eprints.uet.vnu.edu.vn/eprints/id/eprint/3598/3/lightbox.jpg> .
<https://eprints.uet.vnu.edu.vn/eprints/id/eprint/3598/3/lightbox.jpg> <http://www.w3.org/2000/01/rdf-schema#label> "lightbox.jpg"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.uet.vnu.edu.vn/eprints/id/eprint/3598> <http://eprints.org/ontology/hasDocument> <http://eprints.uet.vnu.edu.vn/eprints/id/document/1961> .
<http://eprints.uet.vnu.edu.vn/eprints/id/document/1961> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<http://eprints.uet.vnu.edu.vn/eprints/id/document/1961> <http://www.w3.org/2000/01/rdf-schema#label> "On Implementation of the Improved Assume-Guarantee Verification Method for Timed Systems (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.uet.vnu.edu.vn/eprints/id/document/1961> <http://eprints.org/relation/isVersionOf> <http://eprints.uet.vnu.edu.vn/eprints/id/document/1952> .
<http://eprints.uet.vnu.edu.vn/eprints/id/document/1961> <http://eprints.org/relation/isVolatileVersionOf> <http://eprints.uet.vnu.edu.vn/eprints/id/document/1952> .
<http://eprints.uet.vnu.edu.vn/eprints/id/document/1961> <http://eprints.org/relation/ispreviewThumbnailVersionOf> <http://eprints.uet.vnu.edu.vn/eprints/id/document/1952> .
<http://eprints.uet.vnu.edu.vn/eprints/id/document/1961> <http://eprints.org/ontology/hasFile> <https://eprints.uet.vnu.edu.vn/eprints/id/eprint/3598/4/preview.jpg> .
<http://eprints.uet.vnu.edu.vn/eprints/id/document/1961> <http://purl.org/dc/terms/hasPart> <https://eprints.uet.vnu.edu.vn/eprints/id/eprint/3598/4/preview.jpg> .
<https://eprints.uet.vnu.edu.vn/eprints/id/eprint/3598/4/preview.jpg> <http://www.w3.org/2000/01/rdf-schema#label> "preview.jpg"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.uet.vnu.edu.vn/eprints/id/eprint/3598> <http://eprints.org/ontology/hasDocument> <http://eprints.uet.vnu.edu.vn/eprints/id/document/1963> .
<http://eprints.uet.vnu.edu.vn/eprints/id/document/1963> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<http://eprints.uet.vnu.edu.vn/eprints/id/document/1963> <http://www.w3.org/2000/01/rdf-schema#label> "On Implementation of the Improved Assume-Guarantee Verification Method for Timed Systems (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.uet.vnu.edu.vn/eprints/id/document/1963> <http://eprints.org/relation/isVersionOf> <http://eprints.uet.vnu.edu.vn/eprints/id/document/1952> .
<http://eprints.uet.vnu.edu.vn/eprints/id/document/1963> <http://eprints.org/relation/isVolatileVersionOf> <http://eprints.uet.vnu.edu.vn/eprints/id/document/1952> .
<http://eprints.uet.vnu.edu.vn/eprints/id/document/1963> <http://eprints.org/relation/issmallThumbnailVersionOf> <http://eprints.uet.vnu.edu.vn/eprints/id/document/1952> .
<http://eprints.uet.vnu.edu.vn/eprints/id/document/1963> <http://eprints.org/ontology/hasFile> <https://eprints.uet.vnu.edu.vn/eprints/id/eprint/3598/5/small.jpg> .
<http://eprints.uet.vnu.edu.vn/eprints/id/document/1963> <http://purl.org/dc/terms/hasPart> <https://eprints.uet.vnu.edu.vn/eprints/id/eprint/3598/5/small.jpg> .
<https://eprints.uet.vnu.edu.vn/eprints/id/eprint/3598/5/small.jpg> <http://www.w3.org/2000/01/rdf-schema#label> "small.jpg"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.uet.vnu.edu.vn/eprints/id/eprint/3598> <http://www.w3.org/2000/01/rdf-schema#seeAlso> <https://eprints.uet.vnu.edu.vn/eprints/id/eprint/3598/> .
<https://eprints.uet.vnu.edu.vn/eprints/id/eprint/3598/> <http://purl.org/dc/elements/1.1/title> "HTML Summary of #3598 \n\nOn Implementation of the Improved Assume-Guarantee Verification Method for Timed Systems\n\n" .
<https://eprints.uet.vnu.edu.vn/eprints/id/eprint/3598/> <http://purl.org/dc/elements/1.1/format> "text/html" .
<https://eprints.uet.vnu.edu.vn/eprints/id/eprint/3598/> <http://xmlns.com/foaf/0.1/primaryTopic> <http://eprints.uet.vnu.edu.vn/eprints/id/eprint/3598> .
<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/3598> <http://purl.org/dc/terms/subject> <http://eprints.uet.vnu.edu.vn/eprints/id/subject/IT> .