{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,1,1]]，“日期时间”：“2024-01-01T02:52:30Z”，“时间戳”：1704077550703}，“出版商位置”：“柏林，海德堡”，“参考计数”：24，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783642370748”，“类型”：“打印”}，{“值”：“9783642370755”，“type”：“electronic”}]，“content domain”：｛“domain”：[]，“crossmark restriction”：false｝，“short container title”：[]，“published print”：｛“date parts”：[[2013]]｝，“DOI”：“10.1007\/978-3-642-37075-56”，“type”：“book chapter”，“created”：｛“date parts”：[[2013,2,18]，“date time”：“2013-02-18T19:37:23Z”，“timestamp”：1361216243000｝，“page”：“81-96”，“source”：“Crossref”，“is-referenced-by-count”：4，“title”：[“通信时间进程的可达性”]，“prefix”：“10.1007”，”author“：[{“给定”：“Lorenzo”，“family”：“Clemente”，“sequence”：“first”，“affiliation”：[]}，{“given”：“谎言”，“家庭”：“污点”，“sequence”：“additional”，“affiliation”：[]}，{“given”：“Gr\u00e9goire”，“family”：“Sutre”，”sequence“：”additional“，”affiliance“：[]]]，“member”：“297”，“reference”：[{“key”：”6_CR1“，”unstructured“：”Abdulla，P.A.，Atig，M.F.，Cederberg，J.：定时有损信道系统。In:FSTTCS.LIPIcs（2012）“}，”{“密钥”：“6_CR2”，“doi-as serted-by“：”crossref“，”非结构化“：“Abdulla，P.A.，Atig，M.F.，Stenman，J.：密集时间下推自动机。In:LICS，pp.35\u201344（2012）”，“DOI”：“10.1109\/LICS.2012.15”}，{“issue”：“2”，“key”：“6_CR3”，“DOI-asserted-by”：“publisher”，“first-page”：“91”，“DOI”：1996年”，“非结构化”：“Abdulla，P.A.，Jonsson，B.：用不可靠的通道验证程序。信息与计算\u00a0127（2），91\u2013101（1996）”，“日志标题”：“信息与计算”}，{“key”：“6_CR4”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“first page”：”53“，“doi”：“10.1007 \/3-540-45740-2_5”，“volume-title”：《Petri网的应用和理论2001》，“作者”：“P.A.Abdulla”，“年份”：“2001”，“非结构化”：“Abdulla.P.A.，Nyl\u00e9n，A.：定时Petri网和BQO.In:Colom，J.-M.，Koutny，M.（eds.）ICATPN 2001。LNCS，第u00a02075卷，第53\u201370页。Springer，Heidelberg（2001）“}，{”key“：”6_CR5“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“256”，”doi“：”10.1007\/978-3642-24310-3_18“，”volume-title“：“时间系统的形式建模与分析”，“author”：“P.A.Abdulla”，“year”：“2011”，“unstructured”：“Abdulla，P.A.，Delzanno，G.，Rezine，O.，Sangnier，A.，Traverso，R.：《关于定时Ad Hoc网络的验证》。收录于：Fahrenberg，U.，Tripakis，S.（编辑）FORMATS 2011。LNCS，第00a06919卷，第256\u2013270页。Springer，Heidelberg（2011）“}，{”key“：”6_CR6“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“290”，”doi“：”10.1007\/978-3-540-77050-3_24“，”volume-title“：“FSTTCS 2007:软件技术和理论计算机科学基础”，”author“：”S.Akshay“，”year“：”2007“，”unstructured“：”Akshay，S.、Bollig，B.、Gastin，P.：定时消息序列图的自动机和逻辑。收录人：Arvind，V.，Prasad，S.（编辑）FSTTCS 2007。LNCS，第u00a04855卷，第290\u2013302页。Springer，Heidelberg（2007）“}，{”key“：”6_CR7“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“82”，”doi“：”10.1007\/978-3-540-85361-9_10“，”volume-title“：“CONCUR 2008-并发理论”，”author“：”S.Akshay“，”year“：”2008“，”unstructured“：”Akshay，S.、Bollig，B.、Gastin，P.、Mukund，M.、Narayan Kumar，K.：具有独立进化时钟的分布式时间自动机。收录：van Breugel，F.，Chechik，M.（编辑）CONCUR 2008。LNCS，第u00a05201卷，第82\u201397页。Springer，Heidelberg（2008）“}，{“key”：“6_CR8”，“unstructured”：“Akshay，S.，Gastin，P.，Mukund，M.，Kumar，K.N.：基于场景的模型检查规范。收录于：FSTTCS.LIPIcs，vol.\u00a08，pp.204\u2013215（2010）”}，}，“issue”：“2”，“key“：”6_CR9“doi-asserted-by”：“publisher”，“first page”：”183“，“doi”：“10.1016\/0304-3”975（94）90010-8“，”卷“：”126“，”作者“：”R.Alur“，“年份”：”1994“，”非结构化“：”Alur，R.，Dill，D.：时间自动机理论。TCS\u00a0126（2），183\u2013235（1994）“，”journal-title“：”TCS“}，{“key”：“6_CR10”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first-page:”293“，”doi“：”10.1007\/11562948_23“，“”B\u00e9rard，B.，Cassez，F.，Haddad，S.，Lime，D.，Roux，O.H.：时间Petri网不同语义的比较。In：Peled，D.A.，Tsay，Y.-K（编辑）2005年亚洲电视协会。LNCS，卷\u00a03707，第293\u2013307页。Springer，Heidelberg（2005），\n\n http://\/dx.doi.org\/10.1007\/11562948_\/23“}，{“key”：“6_CR11”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“first page”：”145“，“doi”：“10.1007\/978-3642-2293-0_16”，“volume-title”：《2011年计算机科学数学基础》，“author“：”R.Bonnet“，”year“：”2011“，”unstructured“：”Bonnet，R.：带一个零检验的向量加法系统的可达性问题。收录：Murlak，F.，Sankowski，P.（编辑）MFCS 2011。LNCS，第u00a06907卷，第145\u2013157页。Springer，Heidelberg（2011）“}，{”issue“：”2“，”key“：”6_CR12“，“doi-asserted-by”：“publisher”，“first page”：“323”，“doi”：“10.1145\/322374.32280”，”volume“：“30”，“author”：“D.Brand”，“year”：“1983”，“unstructured”：“Brand，D.，Zafiropulo，P.：关于通信有限状态机。J.ACM\u00a030（2），323\u2013342（1983）”，“journal al-title“：”J.ACM“}，{“问题”：“2”，“key“：”6_CR13“，”doi-asserted-by“：”publisher“，”first-page“：”166“，“doi”：“10.1016\/j.ic.2005.05.006”，“volume”：“202”，“author”：“G.C:u00e9c\u00e9”，“year”：“2005”，“unstructured”：“C\u00e9c\u 00e9，G.，Finkel，A.：验证具有半双工通信的程序。信息与计算\u00a0202（2），166\u2013190（2005）“，“journal-title”：“信息与计算”}，{“key”：“6_CR14”，“series-title”：《计算机科学讲义》，“doi-asserted-by”：“publisher”，“first page”：”340“，“doi”：“10.1007\/978-3-540-85361-9_28”，“volume-title“：”CONCUR 2008-并发理论“，”作者：“P.Chambart”，年：“2008年”，“非结构化”：“Chambart，P.，Schnoebelen，P.：混合损耗和完美Fifo频道。收录：van Breugel，F.，Chechik，M.（编辑）CONCUR 2008。LNCS，卷\u00a05201，第340\u2013355页。Springer，Heidelberg（2008）“}，{”key“：”6_CR15“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“98”，”doi“：”10.1007\/11867340_8“，”volume-title“：“时间系统的形式建模与分析”，”author“：”P.Chandrasekaran“，“year”：“2006”，“unstructured”：“Chandrasekaran，P.，Mukund，M.：具有时间约束的匹配场景。收录：Asarin，E.，Bouyer，P.（eds.）FORMATS 2006。LNCS，第00a04202卷，第98页\u2013112。Springer，Heidelberg（2006）“}，{”key“：”6_CR16“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“313”，”doi“：”10.1007\/978-3642-15375-4_22“，”volume-title“：“CONCUR 2010-并发理论”，”author“：”G.Delzanno“，”year“：”2010“，”unstructured“：”Delzanno，G.，Sangnier，A.，Zavataro，G.：Ad Hoc网络的参数化验证。收录：Gastin，P.，Laroussinie，F.（编辑）CONCUR 2010。LNCS，第u00a06269卷，第313\u2013327页。Springer，Heidelberg（2010）“}，{”key“：”6_CR17“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“272”，”doi“：”10.1007\/11505877_24“，”volume-title“：“语言理论的发展”，”author“：”H.Gruber“，”year“：”2005“，”unstructured“：”Gruber，H.，Holzer，M.，Kiehn，A.，K\u00f6nig，B.：关于离散时间自动机的结构和语言理论表征。摘自：De Felice，C.，Restivo，A.（编辑）DLT 2005。LNCS，第u00a03572卷，第272\u2013283页。Springer，Heidelberg（2005）“}，{”key“：”6_CR18“，”first page“：“1”，“volume”：“8”，“author”：“A.Heu\u00dfner”，“year”：“2012”，“unstructured”：“Heu\u 00dfner，A.，Leroux，J.，Muscholl，A.，Sutre，G.：通信下推系统的可达性分析。《Comp.Sci.\u00a08（3:23），1\u201320（2012）》，“journal-title”：“Comp.中的逻辑方法。科学。“}，{”issue“：”3“，”key“：”6_CR19“，”doi-asserted-by“：”publisher“，”first-page“：”1713“，“doi”：“10.1016\/S0304-3975（02）00076-2”，“volume”：“290”，“author”：“O.H.Ibarra”，“year”：“2003”，“unstructured”：“Ibarra，O.H，Dang，Z.，Pietro，P.S.：松散同步队列连接离散时间自动机中的验证。Theor.Comput.Sci.\ u00a0290（3），1713\u20131735（2003）“，“新闻标题”：“Theor。计算。科学。“}，{”key“：”6_CR20“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“249”，”doi“：”10.1007\/11817963_24“，”volume-title“：“计算机辅助验证”，”author“：”P.Krcal“，”year“：”2006“，”unstructured“：”Krcal，P.，Yi，W.：通信时间自动机：越同步，验证越困难。收录：Ball，T.，Jones，R.B.（编辑）CAV 2006。LNCS，卷\u00a04144，第249\u2013262页。Springer，Heidelberg（2006）“}，{”key“：”6_CR21“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“299”，”doi“：”10.1007\/978-3-540-78800-3_21“，”volume-title“：“系统构建和分析的工具和算法”，“author”：“S.Torre La”，“year”：“2008”，“unstructured”：“La Torre，S.，Madhusudan，P.，Parlato，G.：并发队列系统的上下文分析。收录：Ramakrishnan，C.R.，Rehof，J.（编辑）TACAS 2008。LNCS，第u00a04963卷，第299\u2013314页。Springer，Heidelberg（2008）“}，{“key”：“6_CR22”，“unstructured”：“Lipton，R.J.：可达性问题需要指数空间。耶鲁大学计算机科学系（1976）”}，}，“key“：”6_CR23“，”unstructure“：”Pachl，J.K.：通信有限状态机的可达性问题。研究报告CS-82-12，滑铁卢大学（1982年5月）“}，{“key”：“6_CR24”，“首页”：“239”，“卷”：“223”，“作者”：“K.Reinhardt”，“年份”：“2008”，“非结构化”：“Reinhartt，K.：带抑制器弧的petri网的可达性。ENTCS\u00a0223，239\u2013264（2008）”，“日志标题”：“ENTCS”}，“container-title”：[“计算机科学讲义”，“软件科学与计算结构基础”]，“原标题”：[]，“链接”：[｛“URL”：“http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-37075-56”，“内容类型”：“未指定”，“内容版本”：“vor”，“预期应用”：“相似性检查”｝]，“存放”：｛“日期部分”：[[2019,5,11]]，“日期时间”：“2019-05-11T8:23:15Z”timestamp“：1557562995000}，”score“：1，”resource“：{“primary”：{”URL“：”http://\/link.springer.com/10.1007\/978-3642-37075-5_6“}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[2013]]}，《国际标准图书编号》：[“9783642370748”，“978364 23707555”]，“references-count”：24，“URL”：“http://\/dx”。doi.org \/10.1007\/978-3642-37075-5_6“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，“issn-type”：[{“value”：“0302-9743”，“type”:“print”}，{“value”：“1611-3399”，“type”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[2013年]]}}}