{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,3,19]]，“日期时间”：“2024-03-19T11:02:49Z”，“时间戳”：1710846169115}，“出版商位置”：“柏林，海德堡”，“参考计数”：14，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540008989”，“类型”：“打印”}，{“值”：“9783540365778”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2003]]}，”DOI“：”10.1007\/3-540-36577-x_31“，”type“：”book-capter“，”created“：”{“date-part”：[2010,3,29]]，“date-time”：“2010-03-29T21:12:04Z“，”时间戳“：1269897124000}，”页面“：”431-436“，”源“：“Crossref”，“is-referenced-by-count”：4，“title”：[“用于并发系统的功能验证和性能分析的集成CWB-NC\/PIOA工具”]，“prefix”：“10.1007”，”author“：[{”given“：”Dezhuang“，”family“：”Zhang“，”sequence“：”first“，”affiliation“：[]}，{”fixed“：”Rance：“Eugene W.”，“family”：“Stark”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“297”，“published-online”：{“date-parts”：[[2003,2,28]]}，“reference”：[{“key”：“31_CR1”，”series-title“：”Lect Notes Compute Sci“，”doi-asserted-by“：”crossref“，”first page“358”，“doi”：“10.1007\/3-540-63165-8_192”，“volume”me-title“：”ICALP\u201997“，”作者“：”M.Bernardo“，”年份“：“1997年”，“非结构化”：“M.Bernardo。基于代数的奖励与EMPAterms关联的方法。在ICALP\u201997，LNCS第1256卷，358\u2013368页，1997年7月。”}，{“key”：“31_CR2”，“doi-asserted-by”：“crossref”，“unstructured”：“M.Bernard，R.Cleaveland，S.Sims，and W。斯图尔特。TwoTowers：一个集成并发系统功能和性能分析的工具。在FORTE XI\/PSTV XVIII\u2019 98，第457\u2013467页，1998年11月。“，“DOI”：“10.1007\/978-0-387-35394-4_28”}，{“key”：“31_CR3”，“series-title”：“Lect Notes Compute Sci”，“DOI-asserted-by”：“crossref”，“first page”：“年”：“1995年”，“非结构化”：“R.Cleaveland，E。Madelaine和S.Sims。验证工具的前端生成器。在TACAS\u201995，LNCS第1019卷，第153\u20131731995年5月。斯特芬。并发工作台：用于验证有限状态系统的基于语义的工具。ACM TOPLAS，15（1）：36\u2013721993年1月。“，”journal-title“：”ACM TO普拉斯“}，{“key”：“31_CR5”，“series-title”：“Lect Notes Compute Sci”，“doi-asserted-by”：“crossref”，“first page”：第394页，“doi”：“10.1007\/3-540-61474-5_87”，“volume-title”：”计算机辅助验证（CAV\u2019 96）“，”作者：“R.Cleaveland”，“年份”：“1996”“非结构化”：“R.Cleaveland和S。模拟人生。NCSU ConcurrencyWorkbench。在《计算机辅助验证》（CAV\u2019 96），LNCS第1102卷，第394\u2013397页，1996年7月。模拟人生。用于验证并发系统的通用工具。《计算机编程科学》，42（1）：39\u2013472002年1月。“，“journal-title”：“计算机编程科学”}，{“key”：“31_CR7”，“series-title”：《Lect Notes Compute Sci》，“doi-asserted-by”：“crossref”，“first page”：《410》，“doi”：“10.1007\/3-540-45614-7_23”，“volume-title“FME”，“author”：“H.Garavel”，“year”：“2002”，“unstructured”：“H Garavel and”H。赫尔曼。使用CADP将功能验证和性能评估结合起来。在LNCS的FME，第2391卷，第410\u2013429页，2002年。彭马萨尼。概率I/O自动机组合性能分析算法的实现。在第7届PAPM中，第3\u2013241999页。“}，{“key”：“31_CR10”，“doi-asserted-by”：“crossref”，“unstructured”：“E.Stark和S.Smolka.概率I/O自动机网络中预期延迟的组成分析。在Proc.13th LICS中，第466\u2013477页，1998年6月。”，“doi”：“10.1109\/LICS.1998.705680”}，“key“：”31_CR11“，”doi-assert-by“：“cross-ref”非结构化”：E.Stark、S.Smolka和R.Cleaveland。PIOA的一种进程代数语言。未出版草稿，2003年。“，”DOI“：”10.1007\/978-3-540-45187-7_13“}，{“key”：“31_CR12”，“series-title”：“Lect Notes Compute Sci”，“DOI-asserted-by”：“publisher”，“first page”：”25“，”DOI“：“10.1007\/3-540-44618-4_3”，”volume-title“：”CONCUR 2000“，”author“：”E.Stark“，”year“：”2000“，“unstructured”：“E.Stark.”。使用概率I/O自动机进行组合性能分析。在CONCUR 2000，LNCS第1877卷，第25\u201328页，2000年8月。“”10.1016\/S0304-3975（97）00056-X“，“volume”：“176”，“author”：“S.Wu”，“year”：“1997”，“unstructured”：“S.Wu，S.Smolka，and E.Stark.概率I/O自动机的组成和行为。理论计算机科学，176（1-2）：1\u2013381997年4月。”，“期刊标题”：“理论计算机科学”}]，“容器标题”：[“系统构建和分析的工具和算法”，“计算机科学课堂讲稿”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/3-540-36577-X_31”，“content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2023,5,31]]，”date-time“：“2023-05-31T09:46:44Z”，”timestamp“：1685526404000}，”score“：1，”resource“：{primary“：”URL“http://link.springer.com\/10007\/3-540-36577-X31”}}，“subtitle”：[]，“短标题”：[]，“已发布”：{date-parts“：[2003]]}，”ISBN“：[”9783540008989“，”978354365778“]，”references-count“：14，”URL“：”http://\/dx.doi.org\/10.1007\/3-540-36577-x_31“，”relation“：{}，“ISSN”：[”0302-9743“]，“ISSN-type”：[{“value”：“0302-974”，“type”:“print”}]，“subject”：【】，“published”：{“date-part”rts“：[[2003]]}}