{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,19]]，“日期时间”：“2024-09-19T15:10:40Z”，“时间戳”：1726758640518}，“出版商位置”：“柏林，海德堡”，“参考计数”：13，“出版者”：“施普林格-柏林-海德堡“，”isbn-type“：[{”类型“：“打印”，“值”：“9783540 755951“}]，”内容域“用法：{“domain”：[]，“crossmark-restriction”：false}，“short-container-title”：[[]，“DOI”：“10.1007\/978-3-540-75596-8_33”，“type”：“book-chapter”，“created”：{”date-parts“：[[2007,11,3]]，“date-time”：“2007-11-03T14:03:37Z”，“timestamp”：1194098617000}，”page“474-488”，“source”：”Crossref“，”is-referenced-by-count“：75，”title“：[”有界合成“]，”前缀“：”10.1007“，“author”：[{“given”：“Sven”，“family”：“Schewe”，“sequence”：“first”，“affiliation”：[]}“，”非结构化“：“Pnueli，A.，Rosner，R.：分布式反应系统很难合成。摘自：Proc.FOCS，pp.746\u2013757。IEEE Computer Society Press，Los Alamitos（1990）“}，{”key“：“33_CR2”，“first page”：“321”，“volume-title”：“Proc.LICS”，“author”：“B.Finkbeiner”，“year”：“2005”，“unstructured”：“Finkbeine，B.，Schewe，S.：均匀分布合成。In:Proc.LICS321\u2013330。IEEE Computer Society Press，Los Alamitos（2005）“}，{“key”：“33_CR3”，“unstructured”：“Rosner，R.：反应系统的模块化合成。博士论文，Weizmann Institute of Science，Rehovot，Israel（1992）”}，“key“：”33_CR4“，“series-title”：“计算机科学讲义”，“volume-title”：”CAV 2001“，“author”：“F.Copty”，“year”：“2001”，“非结构化”：“Copty，F.、Fix，L.、Giunchiglia，E.、Kamhi，G.、Taccella，A.、Vardi，M.：工业环境下有界模型检查的好处。收录：Berry，G.，Comon，H.，Finkel，A.（编辑）CAV 2001。LNCS，vol.\u00a02102，Springer，Heidelberg（2001）“}，{”key“：”33_CR5“，”first page“：“118”，“volume”：“58”，”author“：”A.Biere“，”year“：”2003“，”unstructured“：”Biere，A.，Cimatti，A.，Clarke，E.M.，Strichman，O.，Zhu，Y.：有界模型检查。Advances in Computers\u00a058，118\u2013149 _ CR6“，”doi-asserted-by“：”crossref“，”unstructured“：”Gu，J.，Purdom，P.W.，Franco，J.、Wah，B.W.：可满足性（SAT）问题的算法：一项调查。在：Du，D.Z.，Gu，J.，Pardalos，P.（eds.）可满足性问题：理论与应用。离散数学和理论计算机科学DIMACS系列，第19\u2013152页。美国数学学会（1997）“，”DOI“：”10.1090\/dimacs\/035\/02“}，{”key“：”33_CR7“，”DOI-asserted-by“：”crossref“，”unstructured“：”Moskewicz，M.W.，Madigan，C.F.，Zhao，Y.，Zhang，L.，Malik，S.：Chaff：设计一个高效的SAT解算器。In:DAC 2001。第38届设计自动化会议论文集（2001）“，”DOI“：”10.1145“/378239.379017“}，”key“：”33_CR8“，”first page“：。IEEE计算机学会出版社，洛斯阿拉米托斯（2001）“}，{“键”：“33_CR9”，“系列标题”：“计算机科学讲义”，“第一页”：“338”，“卷标题”：“FSTTCS 2003”，“作者”：“I.Walukiewicz”，“年份”：“2003”，“非结构化”：“Walukiewicz，I.，Mohalik，S.：分布式游戏。in：Pandya，P.K.，Radhakrishnan，J.（编辑）FSTTCS 2003。LNCS，第u00a02914卷，第338\u2013351页。Springer，Heidelberg（2003）“}，{”key“：”33_CR10“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”crossref“，”first page“：“396”，”doi“：”10.1007\/3-540-48224-5_33“，”volume-title“：“ICALP 2001”，”author“：”P.Madhusudan“，”year“：”2001“，”unstructured“：”Madhusudan，P.，Thiagarajan，P.S.：本地规范的分布式控制器合成。In：Orejas，F.，Spirakis，P.G.，van Leeuwen，J.（编辑）ICALP 2001。LNCS，第u00a02076卷，第396\u2013407页。Springer，Heidelberg（2001）“}，{“key”：“33_CR11”，“series title”：“计算机科学讲义”，“doi断言”：“crossref”，“首页”：“219”，“doi”：“10.1007\/3-540-46691-6_17”，“卷标题”：“FSTTCS 1999”，“作者”：“I.Castellani”，“年份”：“1999”，“非结构化”：“Castellani，I.，Mukund，M.，Thiagarajan，P.S.：根据全球规范合成分布式转换系统。收录：Pandu Rangan，C.，Raman，V.，Ramanujam，R.（编辑）FSTTCS 1999。LNCS，第u00a01738卷，第219\u2013231页。Springer，Heidelberg（1999）“}，{“key”：“33_CR12”，“doi-asserted-by”：“crossref”，“unstructured”：“Kupferman，O.，Vardi，M.：无安全决策程序。摘自：第46届IEEE计算机科学基础研讨会论文集，匹兹堡，pp.531\u2013540（2005）”，“doi”：“10.1109 \/SFCS.2005.66”}，}，“key“：”33_CR13“，”第一页“：”255“，”卷时间“Proc.LIC”S“，”作者：“N.Piterman”，“year”：“2006”，“unstructured”：“Piterman，N.：从非确定性B\u00fcchi和Streett自动机到确定性奇偶自动机。In：程序。LICS，第255\u2013264页。IEEE Computer Society Press，Los Alamitos（2006）“}]，“container-title”：[“计算机科学课堂讲稿”，“验证和分析自动化技术”]，“原始标题”：[]，“语言”：“en”，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/978-3-540-75596-8_33.pdf”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2021,4,27]]，”date-time“：”2021-04-27T10:25:27Z“，”timestamp“：1619519127000}，”score“：1，”resource“：{primary”：{“URL”：“http://link.springer.com\/10007\/978-3-540-75596-8_33”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-part”：[[null]]}，“ISBN”：[“9783540755951”]，“references-count“：13，”URL“：”http://\/dx.doi.org\/10.1007\/978-3-540-75596-8_33“，”关系“：{}，”主题“：[]}}