@前缀xsd:.@前缀rdf：.@前缀rdfs：.@前缀owl:.@前缀bf：.@前缀bibo:.@前缀bibtex：.@前缀cito：.@前缀datacite：.@前缀dbo:.@前缀dc:.@前缀dct：.@前缀foaf：.@前缀升：.@前缀locid：.@前缀locrel:.@前缀架构：.@前缀wd:.@前缀wdt:.@前缀dblp:.猫头鹰：相同.猫头鹰：相同,;rdfs:label“Jorge A.P\u00E9rez和Simone Tini：论文集第25届并发表达性国际研讨会和第15届结构操作语义研讨会，EXPRESS/SOS 2018，中国北京，2018年9月3日。(2018)" ;dblp:doi,;数据引用：hasIdentifier[数据引用：usesIdentifierScheme数据引用：dblp-record；升：hasLiteralValue“期刊/corr/abs-1808-08071”；数据引用：ResourceIdentifier][datacite:usesIdentifierScheme数据引用：doi；升：hasLiteralValue“10.4204/EPTCS.276”；数据引用：ResourceIdentifier][数据引用：usesIdentifierScheme数据引用：arxiv；升：hasLiteralValue“1808.08071”；数据引用：ResourceIdentifier] ;dblp:title“第25届并发表达性国际研讨会和第15届结构操作语义研讨会论文集，EXPRESS/SOS 2018，中国北京，2018年9月3日”；dblp:bibtexType bibtex:程序；dblp:编辑人,;dblp:numberOfCreator 2；dblp:hasSignature（签名）[dblp:signatureDblpName“Jorge A.P\u00E9rez 0001”；dblp:签名创建者;dblp:符号序号1；dblp:签名发布;a dblp:编辑签名][dblp:signatureDblpName“Simone Tini”；dblp:签名创建者;dblp：签名序号2；dblp:签名发布;a dblp:编辑签名] ;dblp:primaryDocumentPage（主文档页）;dblp:documentPage,;dblp:在TocPage上列出;dblp:在“EPTCS”中发布；dblp:publishedInSeries“EPTCS”；dblp:publishedInSeriesVolume“276”；dblp:出版年份“2018”^^;a dblp:Publication，dblp:Editorship。rdfs:label“dblp记录'journes/corr/abs-1808-08071'的RDF数据的出处信息”；dct:创建者;dct：是的一部分;dct：修改“2020-12-02T13:20:37+0100”；dct：许可证.