{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,6]]，“日期时间”：“2024-09-06T23:06:44Z”，“时间戳”：1725664004877}，“出版商位置”：“柏林，海德堡”，“参考计数”：12，“出版者”：“施普林格-柏林-海德堡“，”isbn-type“：[{”类型“：“打印”，“值”：“979”83540578871“}，{”类型“：“electronic”，“value”：“9783540483830”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[1994]]}，”DOI“：”10.1007\/3-540-57887-0_123“，”type“：”book-capter“，”created“：”{“date-part”：[2012,26]]，“date-time”：“2012-02-26T13:39:06”Z“，”时间戳“：1330263546000}，”页面“：”726-765“，“source”：“Crossref”，“由count引用”：39，“title”：[“时间验证图”]，“prefix”：“10.1007”，“author”：[｛“given”：“Zohar”，“family”：“Manna”，“sequence”：“first”，“affiliation”：[]｝，｛“given”：“Amir”，“family”：“Pnueli”，“sequence”：“additional”，“affiliation”：[]｝]，“member”：“297”，“在线发布”：｛“date parts”：[[2005,5,31]]｝，“reference”：[｛“键”：“37_CR1”，“doi asserted by”：“crossref”，“first page”：“147”，“doi”：“10.1145\/59287.62028”，“volume”：“11”，“author”：“B.Alpern”，“year”：“1989”，“nonstructured”：“B.Alpern and F.B.Schneider。在没有时态逻辑的情况下验证时态属性。ACM Trans.Prog.Lang.Sys.，11:147\u20131671989.”，“journal title”：“ACM Trans.Prog.Lang.Sys.”}，{“key”：“37_CR2”，“doi-asserted-by”：“crossref”，“first page”：“231”，“doi”：“10.1016\/0167-6423（87）90035-9”，卷：“8”，“author”：“D.Harel”，“year”：“1987”，“unstructured”：“D.Harel.Statecharts：复杂系统的可视化形式主义。Sci.Comp.Prog.，8:231\u20132741987.”，“journal-title”：“Sci.Comp.Prog.”}，{“issue”：“1“，”键“：”37_CR3“，”doi-asserted-by“：“crossref”，“first page”：“56”，“DOI”：“10.1109\/TCOM.1983.1095720”，“volume”：”COM-31“，“author”：”B.T.Hailpern“，“year”：“1983”，“unstructured”：“B.T.Helipern和S.S.Owicki.计算机通信协议的模块化验证。IEEE Trans.on Commun.，COM-31（1）：56\u2013681983。”，“journal title”：“IEEE Trans.on Commun”}，{“key”：《37_CR4》，“非结构化”：“L.Lamport。动作的时间逻辑。技术报告，数字设备公司，系统研究中心，1991年。”}，{“key”：“37_CR5”，“series-title”：“数学中心第159卷”，“第一页”：“163”，“volume-title”：《计算机科学基础IV，分布式系统：第2部分》，“author”：“Z.Manna”，“year”：“1983”，“非结构化”：“Z.Manna和A.Pnueli.并发程序的验证：一个时间证明系统。J.W.de Bakker和J.Van Leeuwen，编辑，计算机科学基础IV，分布式系统：第2部分，第163\u2013255页。数学中心第159卷，数学和计算机科学中心（CWI），阿姆斯特丹，1983年。“}，{”key“：”37_CR6“，”doi-asserted-by“：”crossref“，”first page“：“257”，”doi“：”10.1016\/0167-6423（84）90003-0“，”volume“：。普努利。并发程序不变性和活性属性的充分证明原则。科学。公司。掠夺。，32:257\u20132891984.”，“新闻标题”：“科学。公司。掠夺。“}，{”issue“：”1“，”key“：”37_CR7“，”doi-asserted-by“：”crossref“，”first-page“：”97“，”doi“：”10.1016\/0304-3975（91）90041-Y“，”volume“：“83”，”author“：”Z.Manna“，”year“：”1991“，”unstructured“：”Z.Manna和A.Pnueli.完成时间图片。Theor.Comp.Sci.，83（1）：97\u20131301991。“，”journal-title“：“Theor.Comp.Sci.”}，{“volume-title”：“反应和并发系统的时间逻辑：规范”，“年份”：“1991年”，“作者”：“Z.Manna”，“键”：“37_CR8”，“非结构化”：“Z.Manna和A.Pnueli。反应和并发系统的时间逻辑：规范。Springer-Verlag，纽约，1991.“}，{”key“：”37_CR9“，”doi-asserted-by“：”crossref“，”first page“：“609”，“doi”：“10.1007\/BF01191722”，“volume”：“30”，“author”：“Z.Manna”，“year”：“1993”，“unstructured”：“Z.Manna and A.Pnueli.反应性模型。信息学报，30:609\u20136781993.”，“journal-title”：“信息学报”}，}“”卷时间“：”无功系统的时间验证”，“年份”：“1994年”，“作者”：“Z.Manna”，“关键”：“37_CR10”，“非结构化”：“Z.Manna和A.Pnueli。反应系统的时间验证。Springer-Verlag，纽约，1994年。出现。“}，{”key“：”37_CR11“，”doi-asserted-by“：”crossref“，”unstructured“：”V.Nguyen，D.Gries，and S.Owicki。进程网络的模型和时间证明系统。收录于语言程序第十二届ACM Symp.Princ.，第121\u20131311985页。“，”doi“：”10.1145\/318593.18624“I“：”10.1145\/357172.357178“，”卷“：”4“，”作者“：”S.Owicki“，”年份“：”1982“，”非结构化“：”S.Owick和L.Lamport。证明并发程序的活性属性。ACM事务处理。掠夺。语言系统。，4:455\u20134951982.“，”日记标题“：”ACM Trans。掠夺。语言系统。“}]，”container-title“：[”计算机科学讲义“，”计算机软件的理论方面“]，”original-title”：[]，”link“：[{”URL“：”http://\/link.springer.com/content\/pdf\/10.1007\/3-540-57887-0_123.pdf“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]“，”deposed“：{”date-parts“：[[2021,4,28]]，“date-time”：“2021-04-28T01:09:33Z”，“timestamp”：1619572173000}，“score”：1，“resource”：{“primary”：}“URL”：“http://\link.springer.com\/10.1007\/3-540-57887-0_123”}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-part“：[1994]]}”，“ISBN”：[“9783540578871”，“9783540483830“]，”references-count“：12，”URL“：”http:\/\/dx.doi.org\/10.1007\/3-540-57887-0_123“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”类型“：”打印“，”值“：”0302-7743“}，{”型号“：”电子“，”数值“：”1611-33049“}]，”主题“：[]，”发布“：{”日期部分“：[1994]]}}}}