{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,4]]，“日期时间”：“2024-09-04T22:52:47Z”，“时间戳”：1725490367717}，“出版商位置”：“柏林，海德堡”，“参考计数”：43，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{”type“打印”，“值”：“9783838 540741275“}，{”类型“：“electronic”，“value”：“9783540741282”}]，“license”：[{“start”：{“date-parts”：[[2007,1,1]]，“date-time”：“2007-01-01T00:00:00Z”，“timestamp”：11676096000000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://\www.springer.com\/tdm”}]}，“short-container-title”：[]，“published-print”：{“date-parts”：[[2007]]}，“DOI”：“10.1007\/978-3-540-74128-2_11”，“type”：“book-chapter”，“created”：{”date-part“：[2007,8,27]]，“date-time”：“2007-08-27T06:05:15Z”，“timestamp”：1188194715000}，”page“：”166-184“，”source“Crossref”，“is-referenced-by-count”：6，“title”：[“Distributed Extended Beam Search for Quantitative Model Checking”]，“prefix”：“10.1007”，“author”：[{“given”：“A.J.”，“family”：“Wijes”，“sequence”：“first”，“affiliation”：[]}，{“fixed”：“B.”，“家族”：“Lisser”，“序列”：“additional”，“ffiliation”：[]}]，“member”：“297”，“reference”：[}“volume-title”：“EATCS Monograph”，“year”：“2002”，“author:”J.C.M.Baeten“，”key“：”11_CR1“unstructured”：“Baeten，J.C.M.，Middelburg，C.A.：带时间的过程代数。In:EATCS Monograph，Springer，Heidelberg（2002）”}，{“key”：“11_CR2”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“first page”：《174》，“doi”：“10.1007\/3-540-45319-9_13”，“volume-title”：《系统构建和分析的工具和算法》，“作者”：“G.Behrmann”，“年份”：“2001”，“非结构化”：“Behrmann，G.，Fehnker，A.，Hune，T.，Larsen，K.G.，Pettersson，P.，Romijn，J.M.T.：UPPAAL中实现成本优化的有效指导。in：Margaria，T.，Yi，W.（编辑）ETAPS 2001和TACAS 2001。LNCS，卷\u00a02031，第174\u2013188页。Springer，Heidelberg（2001）“}，{”key“：”11_CR3“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“216”，”doi“：”10.1007\/10722167_19“，”volume-title“：“计算机辅助验证”，”author“：”G.Behrmann“，”year“：”2000“，”unstructured“：”Behrmann，G.，Hune，T.，Vaandrager，F.：分发时间模型检查-搜索顺序如何重要。摘自：艾默生，E.A.，西斯特拉，A.P.（编辑）CAV 2000。LNCS，第u00a01855卷，第216\u2013231页。Springer，Heidelberg（2000）“}，{”key“：”11_CR4“，”doi-asserted-by“：”publisher“，”first-page“：”77“，”doi“：”10.1016\/0304-3975（85）90088-X“，”volume“：“37”，“author”：“J.Bergstra”，“year”：“1985”，“unstructured”：“Bergsra，J.，Klop，J.：带抽象的通信过程代数。Theor.Compute.Sci.\u00a037，77\u2013121（1985）“，”日志标题“：”西奥。计算。科学。“}，{”key“：”11_CR5“，”first page“：“1467”，”volume-title“：”Ancyclopedia of Artificial Intelligence“，”author“：”R.Bisiani“，”year“：”1992“，”unstructured“：”Bisiani，R.：Beam Search。In:Encyclopediation of Artifical Intelligentation，pp.1467\u20131568。Wiley Interscience Publication，Chichester（1992）“}，{“volume-title”：“PDMC Proc.of PDMC 2002，ENTCS”，“year”：“2002”，“author”：“S.Blom”，“key”：“11_CR6”，“unstructured”：“Blom，S.，Orzan，S.：状态空间强互模拟约简的分布式算法。In:PDMC Proc.2002，ENTCS，vol.\u00a068（4），Elsevier，Amsterdam（2002）”}11_CR7“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”crossref“，”first page“：”250“，”doi“：”10.1007\/3-540-44585-4_23“，”volume-title“：“计算机辅助验证”，”author“：”S.C.C.Blom“，”year“：”2001“，”unstructured“：”Blom，S.C.C.，Fokkink，W.J.，Groote，J.F.，van Langevelde，I.，Lisser，B.，van de Pol，J.C.：\u03bcCRL：分析代数规范的工具集。收录：Berry，G.，Comon，H.，Finkel，A.（编辑）CAV 2001。LNCS，第u00a02102卷，第250\u2013254页。Springer，Heidelberg（2001）“}，{“key”：“11_CR8”，“series-title”：“计算机科学课堂讲稿”，“第一页”：“178”，“volume-title”：《系统信息学的观点》，“author”：“S.C.C.Blom”，“year”：“2003”，“unstructured”：“Blom，S.C.C.，Ioustinova，N.，Sidorova，N:使用\u03bcCRL进行时间验证。in:Broy，M.，Zamulin，A.V.（eds.）PSI 2003。LNCS，第00a02890卷，第178页\u2013192。Springer，Heidelberg（2003）“}，{“key”：“11_CR9”，“doi-asserted-by”：“crossref”，“doi”：“10.1002\/0471791571”，“volume-title”：“排队网络和马尔可夫链：计算机科学应用的建模和性能评估”，“author”：“G.Bolch”，“year”：“2006”，“unstructured”：“Bolch，G.，Greiner，S.，de Meer，H.，Trivedi，K.S.：排队网络和马尔可夫链：计算机科学应用的建模和性能评估，第2版。Wiley，Chichester（2006）“，”edition“：”2“}，{”issue“：”6“，”key“：”11_CR10“，”doi-asserted-by“：”publisher“，”first-page“：”107“，”doi“：”10.1016\/0166-218X（94）90204-6“，”volume“：“49”，”author“：”P.Brucker“，”year“：”1994“，”unstructured“：”Brucker，P.，Jurisch，B.，Sievers，B.：作业车间调度问题的分支定界算法。离散应用数学\u00a049（6），107\u2013127（1994）“，“journal-title”：“离散应用数学”}，{“issue”：“1”，“key”：“11_CR11”，”doi-asserted-by“：”publisher“，”first page“：”82“，”doi“：”10.1287\/ijoc.10.1.82“，”volume“：“10”，“author”：“G.Ciardo”，“year”：“1998”，“unstructured”：“Ciardo，G.，Gluckman，J.，Nicol，D.：离散状态随机模型的分布式状态空间生成。INFORMS Journal on Computing\u00a010（1），82\u201393（1998）“，”Journal-title“：”INFORMS-Journal on Computing“}，{“key”：“11_CR12”，“doi-asserted-by”：“publisher”，“first page”：”1275“，“doi”：“10.1057\/palgrave.jors.2601389”，“volume”：《53》，“author”：“F.Croce Della”，“year”：“2002”，“unstructured”：“Della Croce，F.，T\u2019kindt，V.：单机动态总完工时间调度问题的恢复波束搜索算法。运筹学学会杂志\u00a0531275\u20131280（2002）“，”Journal-title“：”Journal of the Operational Research Society“}，{“key”：“11_CR13”，“series-title”：“Computer Science课堂讲稿”，“doi-asserted-by”：“crossref”，“first-page”：“390”，“doi”：“10.1007\/3-540-61474-5_86”，“volume-title”：”Computer Aided Verification“，“author”：“D。Dill”，“年份”：“1996年”，“非结构化”：“Dill，D.：Mur\u03c6验证系统。In:Alur，R.，Henzinger，T.A.（编辑）CAV 1996。LNCS，第\u00a01102卷，第390页\u2013393。Springer，Heidelberg（1996）“｝，｛“key”：“11_CR14”，“nonstructured”：“Dudeney，H.E:Amusements in Mathematics，chapter\u00a09，Dover Publications，Inc.，pp.112\u2013114（1958）”｝，｛“key”：“11_CR15”，“doi asserted by”：“crossref”，“首页”：“247”，“doi”：“10.1007\\s10009-002-0104-3”，“volume”：“5”，“author”：“S.Edelkamp”，“year”：“2003”，“nonstructured”：“Edelkamp，S.、Leue，S.和Lluch-Lafuente，A.：通信协议验证中的定向显式模型检查。STTT\u00a05，247\u2013267（2003）“，”日记标题“：”STTT“}，{“问题”：“1-2”，“关键”：“11_CR16”，“首页”：“19”，“卷”：“39”，“作者”：“A.Felner”，“年份”：“2003”，“非结构化”：“Felner，A.，Kraus，S.，Korf，R.E.：KBFS:K-Best-first Search.AMAI\u00a 039（1-2），19\u201339（2003）”，“日记标题”：“AMAI“}，{”键“：”11_CR17“，”非结构化“：”Fox，M.S.：约束导向搜索：Job-Shop调度的案例研究。博士论文，CMU（1983）“}，{”key“：”11_CR18“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“217”，”doi“：”10.1007\/3-540-45139-0_14“，”volume-title“：“模型检查软件”，”author“：”H.Garavel“，”year“：”2001“，”unstructured“：”Garavel，H.，Mateescu，R.，Smarandache，I.：模型检查的并行状态空间构建。In:Dwyer，M.B.（编辑）模型检查软件。LNCS，第u00a02057卷，第217\u2013234页。Springer，Heidelberg（2001）“}，{”key“：”11_CR19“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“266”，”doi“：”10.1007\/3-540-46002-0_19“，“volume-title”：“系统构建和分析的工具和算法”，“author”：“P.Godefroid”，“year”：“2002”，“unstructured”：“Godefroid，P.，Khurshid，S.：使用遗传算法探索超大状态空间。收录：Katoen，J.-P.，Stevens，P.（编辑）ETAPS 2002和TACAS 2002。LNCS，第\000a02280卷，第266页\u2013280。Springer，Heidelberg（2002）“}，{”issue“：”4“，”key“：”11_CR20“，”doi-asserted-by“：”publisher“，”first page“：“260”，”doi“：”10.1007\/s10009-003-0130-9“，”volume“：：”6“，”author“：”A.Groce“，”year“：”2004“，”unstructured“：”Groce，A.，Visser，W.：Java程序模型检查启发式。STTT\u00a06（4），260\u2013276（2004）“，”journal-title“：”STTT“}，{”key“：”11_CR21”，“doi-asserted-by”：“publisher”，“first page”：“1151”，“doi”：“10.1016\/B978-044482830-9\/50035-7”，“volume-title”：“过程代数手册”，“author”：“J.F.Groote”，“year”：“2001”，“unstructured”：“Groote，J.F.，Reniers，M.A.：过程代数手册，17，pp.1151\u20131208。Elsevier，Amsterdam（2001）“}，{”key“：“11_CR22”，”first page“：”111“，”volume-title“：”Proc.LICS 1997“，”author“：”M.Huth“，”year“：”1997“，“unstructured”：”Huth，M.，Kwiatkowska，M.：定量分析和模型检查。In:Proc.LICS1997，pp.111\u2013127。IEEE Computer Society Press，Los Alamitos（1997）“}，{”key“：”11_CR23“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“237”，”doi“：”10.1007\/11609773_16“，”volume-title“：“验证、模型检查和抽象解释”，”author“：”S.Jabbar“，”year“：”2006“，”非结构化“：”Jabbar，S.、Edelkamp，S.：使用线性I/O进行并行外部定向模型检查。In：Emerson，E.A.、Namjoshi，K.S.（编辑）VMCAI 2006。LNCS，第u00a03855卷，第237\u2013251页。Springer，Heidelberg（2006）“}，{”key“：”11_CR24“，”首页“：”1461“，”volume-title“：”人工智能百科全书“，”author“：”R.E.Korf“，”year“：”1992“，”unstructured“：”Korf，R.E.：统一成本搜索。In:Shapiro，S.C.（ed.）”Encyclopedia of Artificial Intelligence“，pp.1461\u20131462。Wiley-Interscience，New York（1992）“}，{”key“：”11_CR25“，”doi-asserted-by“：”publisher“，”first page“：“41”，”doi“：”10.1016\/0004-3702（93）90045-D“，“volume”：“62”，“author”：“R.E.Korf”，“year”：“1993”，“unstructured”：“Korf，R.E.：Linear-space best first search.Artificial Intelligence\u00a062，41\u201378（1993）”，“journal-title”：“Artificular Intelligation”}，{“key“：”11_CR26“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first-pages“：”22“，”doi“：”10.1007\/3-540-48234-2_3“，“volume-title”：“SPIN模型检查的理论和实践方面”，“author”：“F.Lerda”，“year”：“1999”，“unstructured”：“Lerda，F.，Sista，R.：使用SPIN进行分布式内存模型检查。摘自：Dams，D.R.，Gerth，R.，Leue，S.，Massink，M.（编辑）《SPIN模型检查的理论和实践方面》。LNCS，第u00a01680卷，第22\u201339页。Springer，Heidelberg（1999）“}，{“key”：“11_CR27”，“unstructured”：“Lowere，B.T.：HARPY语音识别系统。博士论文，CMU（1976）”}，}，“volume-title”：“Proc.MED 2000”，“year”：“2000”，”author“：”P.Niebert“，”key“：”11_CR28“，”unstructure“：”Niebert，P.，Tripakis，S.，Yovine，S.：时间自动机的最小时间可达性。In：程序。MED 2000，IEEE Press，Los Alamitos（2000）“}，{“key”：“11_CR29”，“doi-asserted-by”：“publisher”，“first page”：”2203“，“doi”：“10.1109\/WSC.2005.1574507”，“volume-title”：“Proc.2005冬季模拟会议”，“author”：“S.Oechsner”，“year”：“2005”，“unstructured”：“Oechsner，S.，Rose，O.：使用过滤波束搜索和配方比较调度集群工具。In：程序。2005年冬季模拟会议，第2203\u20132210页。IEEE Computer Society Press，Los Alamitos（2005）“}，{”key“：”11_CR30“，”doi-asserted-by“：”publisher“，”first page“：“35”，“doi”：“10.1080\/0020754880947840”，“volume”：“26”，“author”：“P.S.Ow”，“year”：“1988”，“unstructured”：“Ow，P.S.，Morton，E.T.：调度中的过滤波束搜索。国际生产研究杂志\u00a026，35\u201362（1988）”，“journal-title“：”International journal of Production Research“}，{“key”：“11_CR31”，“doi-asserted-by”：“publisher”，“first-page”：“85”，“doi”：“10.1007\/BF02186362”，“volume”：”12“，“author”：“P.S.Ow”，“year”：“1988”，“unstructured”：“Ow，P.S.，Smith，S.F.：将日程安排视为一种机会主义的问题解决过程。运筹学年鉴\u00a012，85\u2013108（1988）“，“journal-title”：“运筹学编年史”}，{“key”：“11_CR32”，“doi-asserted-by”：“crossref”，“unstructured”：“Peled，D.，Pratt，V.，Holzmann，G.（eds.）：验证中的偏序方法，离散数学和理论计算机科学DIMACS系列第29卷。AMS（1996）”，“DOI“：”10.1090\/dimacs\/029“}，{“key”：“11_CR33”，“DOI-asserted-by”：“publisher”，“first page”：”193“，“DOI”：“10.1016\/0004-3702（70）90007-X”，“volume”：：“1”，“author”：“I.Pohl”，”year：“1970”，“unstructured”：“Pohl，I.：启发式搜索视为图中的路径查找。人工智能\u00a01，193\u2013204（1970）”，“新闻标题”：“人工智能“}，{“key”：“11_CR34”，“first-page”：“353”，“volume-title”：“经典思维：C.A.R.Hoare的荣誉论文”，“author”：“A.W.Roscoe”，“year”：“1994”，“unstructured”：“Roscoe，A.W.：建模CSP。in：经典思维：C.A.R.Hole的荣誉论文，pp.353\u2013378。Prentice-Hall，Englewood Cliffs（1994）“}，{“key”：“11_CR35”，“doi-asserted-by”：“crossref”，“unstructured”：“Rubin，S.：ARGOS图像理解系统。博士论文，CMU（1978）”，“doi”：“10.21236\/ADA066736”}，“volume-title”：“人工智能：现代方法”，“year”：“1995”，“author”：“S.Russell”，“key“：”11_CR36”，“非结构化”：“Russell，S.，Norvig，P.：《人工智能：现代方法》。Prentice-Hall，Englewood Cliffs（1995）“}，{”key“：”11_CR37“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“1”，”doi“：”10.1007\/3-540-44829-2_1“，“volume-title”：“模型检查软件”，“author”：“T.C.Ruys”，“year”：“2003”，“unstructured”：“Ruys，T.C.：使用SPIN 4.0的Branch and Bound进行优化调度。In：Ball，T.，Rajamani，S.K.（编辑）模型检查软件。LNCS，第u00a02648卷，第1\u201317页。Springer，Heidelberg（2003）“}，{”key“：”11_CR38“，”doi-asserted-by“：”publisher“，”first page“：“390”，“doi”：“10.1016\/S0377-2217（98）00319-1”，“volume”：“118”，“author”：“I.Sabuncoglu”，“year”：“1999”，“unstructured”：“Sabuncogru，I.，Bayiz，M.：带束搜索的作业车间调度。欧洲运筹学杂志\u00a0118，390\u2013412（1999）”，“”journal-title“：《欧洲运筹学杂志》}，{“key”：“11_CR39”，“unstructured”：“Dashti，T.M.，Wijs，A.J.：使用扩展波束搜索修剪状态空间（2006）。（待出版），http://www.cwi.nl\/~Wijs\/beamsearch.pdf”}“”非结构化“：”Wijs，A.J.，Fokkink，W.J.：从$\\chi_{\\textbf{t}}$到\u03bcCRL：性能和功能分析的结合。In：程序。ICECCS 2005，第184\u2013193页。IEEE Computer Society Press，Los Alamitos（2005）“}，{“key”：“11_CR41”，“unstructured”：“Wijs，A.J.，van de Pol，J.C.，Bortnik，E.：通过非定时模型检查解决排程问题。收录：FMICS 2005，第54\u201361页。ACM出版社，2005年。CWI技术报告SEN-R0608的扩展版本，http://\/db.CWI.nl\/raporten\/abstract.php？abstractnr=2034“}，{“key”：“11_CR42”，“doi-asserted-by”：“crossref”，“doi”：“10.1093\/oso\/978198540793.001.0001”，“volume-title”：“斑马雀——野外和实验室研究的综合”，“author”：“R.A.Zann”，“year”：“1996”，“unstructured”：“Zann，R.A.：斑马雀——野外和实验室研究的综合。牛津大学出版社，牛津（1996）”，{“key”：“11_CR43”，“nonstructured”：“Zhou，R.，Hansen，E.A.：波束堆栈搜索：将回溯与波束搜索集成。In：Proc.ICAP 2005，pp.90\u201398。AAAI（2005）“}”，“container-title”：[“计算机科学课堂讲稿”，“模型检查与人工智能”]，“原始标题”：[]，“语言”：“en”，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/978-3-540-74128-2_11”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放“：{“date-parts”：[[2024,2,17]]，“date-time”：“2024-02-17T16:06:37Z”，“timestamp”：1708185997000}，“score”：1，“resource”：{”primary“：{URL”：“http://\link.springer.com\/10.1007\/978-3-540-74128-2_11”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{“date-parts”：[[2007]]}，‘ISBN’：[”9783540 741275“，”9783540741282“]，”references-count“：43，”URL“：”http:\/\/dx.doi.org\/10.1007\/978-3-540-74128-2_11“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”类型“：”打印“，”值“：”0302-7743“}，{”型号“：”电子“，”数值“：”1611-33049“}]，”主题“：[]，”发布“：{”日期部分“：[2007]]}}}}