@前缀xsd:.@前缀rdf：.@前缀rdfs：.@前缀owl:.@前缀bf：.@前缀bibo:.@前缀bibtex：.@前缀cito：.@前缀datacite：.@前缀dbo:.@前缀dc:.@前缀dct：.@前缀foaf:.@前缀升：.@前缀locid：.@前缀locrel:.@前缀架构：.@前缀wd:.@前缀wdt:.@前缀dblp:.猫头鹰：相同.猫头鹰：相同,；rdfs：标签“B\u00E9atrice B\u0E9rard et al.：中断时间自动机：验证和表达。（2012）”；dblp:doi,；数据引用：hasIdentifier[数据引用：usesIdentifierScheme数据引用：dblp-record；升：hasLiteralValue“journals/fmsd/BerardHS12”；数据引用：ResourceIdentifier], [datacite:usesIdentifierScheme数据引用：doi；升：hasLiteralValue“10.1007/S10703-011-0140-2”；数据引用：ResourceIdentifier] ;dblp:title“中断时间自动机：验证和表达。”；dblp:bibtexType bibtex：文章；dblp:作者,,；dblp:numberOfCreator 3；dblp:hasSignature（签名）[dblp:signatureDblpName“B\u00E9atrice B\u00E9rard”；dblp:signatureCreator；dblp：签名序号1；dblp:签名发布；a dblp:作者签名], [dblp:signatureDblpName“Serge Haddad”；dblp:signatureCreator；dblp：签名序号2；dblp:签名发布；a dblp:作者签名], [dblp:signatureDblpName“Mathieu Sassolas”；dblp:signatureCreator；dblp：签名序号3；dblp:签名发布；a dblp:作者签名] ;dblp:primaryDocument页面；dblp:documentPage；dblp:在TocPage上列出；dblp：分页“41-87”；dblp:publishedIn“形式方法系统设计”；dblp:publishedInJournal“形式方法系统设计”；dblp:publishedInJournalVolume“40”；dblp:publishedInJournalVolumeIssue“1”；dblp:出版年份“2012”^^；a dblp:出版物，dblp:文章。rdfs:label“dblp记录'journals/fmsd/BerardHS12'的RDF数据的出处信息”；dct:创建者；dct：是的一部分；dct：修改“2020-03-13T10:55:26+0100”；dct：许可证.