×
卢卡·埃特罗（编辑）;乔治·巴奇（编辑）;乔瓦尼·巴奇（编辑）;Anna Ingólfsdóttir（编辑）;Legay、Axel（编辑）;拉杜·马达尔（编辑）

模型、算法、逻辑和工具。纪念金·古德斯特兰·拉森60岁生日的文章。 （英语） Zbl 1368.68004号

计算机科学课堂讲稿10460.查姆：施普林格（ISBN 978-3-319-63120-2/pbk；978-3-3169-63121-9/电子书）。十七、662页。(2017).

将索引文章显示为搜索结果。

对数学感兴趣的文章将单独复习。
索引文章：
尼尔森，弗莱明；尼尔森、汉内·里斯；Vasilikos，泛神经炎，时间自动机的信息流，3-21[Zbl 1431.68079号]
曼弗雷德·德罗斯特；多琳·戈策，无秩树上定量自动机的Nivat定理，22-35[Zbl 1431.68057号]
简·Křetínsk，30年的模态转换系统：扩展和分析调查，36-74[Zbl 1431.68065号]
拉杰夫·阿鲁尔；康斯坦丁诺斯·马莫拉斯；多根·乌卢斯，定量正则表达式的导数，75-95[Zbl 1431.68056号]
罗姆·兰格拉克；雅各布·范德波尔；Post，Janine N。；斯特凡诺·席沃，改进生物路径动力学的时间自动机方法，96-111[Zbl 1431.68059号]
佛罗伦萨克莱尔克；哈里森·汉弗莱；帕南加登，普拉卡什，马尔可夫过程的两类，112-124[Zbl 1431.18013号]
伯恩哈德·斯特芬；马克·贾斯珀，保性能并行分解，125-145[Zbl 1431.68082号]
马勒，奥德；男性，Irini-Eleftheria，从成员查询中学习符号自动机的通用算法，146-169[Zbl 1431.68054号]
刘新新，过程方程的可判定性和小模型性质的负面结果，199-210[Zbl 1431.68076号]
Patricia Bouyer；弗朗索瓦州拉鲁西尼；尼古拉斯·马基（Nicolas Markey）；约尔·瓦克宁；詹姆斯·沃雷尔，定时时序逻辑，211-230[Zbl 1431.03032号]
阿尔伯特·本文尼斯特（Albert Benveniste）；贝诺·凯劳德，同步接口和假设/保证合同，233-248[Zbl 1431.68070号]
阿列克桑达尔·迪莫夫斯基。；安德烈·索夫斯基，从过渡系统到可变性模型，从提升模型检查到UPPAAL公司, 249-268 [Zbl 1431.68074号]
玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克，线性定价概率时间自动机的符号验证和策略合成，289-309[Zbl 1431.68066号]
克劳斯·哈维隆德；贾尔斯·里格尔，运行时验证逻辑。语言设计视角，310-338[Zbl 1431.68064号]
Brinksma，Ed；Mariëlle I.A.斯托林加。；马克·蒂默，测试发散过渡系统，339-366[Zbl 1431.68071号]
克里希南德·查特吉；Laurent Doyen；托马斯·亨辛格（Thomas A.Henzinger）。，定量可达性的精确成本，367-381[兹比尔1431.68073]
尼古拉·巴塞特（Nicolas Basset）；Jean-François拉斯金；奥坎·桑库尔，时间游戏中允许的策略，403-425[Zbl 1431.68069号]
Joost-Pieter Katoen；福尔克·谢尔，模态随机博弈。概率自动机的抽象精化，426-445[Zbl 1431.68058号]
马修·轩尼诗，常规过程中痕量夹杂物的共导方程表征，449-465[Zbl 1431.68075号]
卢卡·卡德利；米尔科·特里巴斯通；马克斯·柴科夫斯基（Max Tschaikowski）；安德烈·范丁，化学反应网络的句法马尔科夫互模拟，466-483[Zbl 1431.68072号]
王璐瑶；谢婉玲；朱慧彪，基于断言的无线系统演算推理方法，484-502[Zbl 1431.68083号]
阿卜杜拉，帕罗什；阿罗尼斯·斯塔夫罗斯；Jonsson，Bengt；康斯坦蒂诺斯·萨戈纳斯，比较源集和持久集以进行部分降阶，516-536[Zbl 1431.68062号]
Olderog，Ernst-Rüdiger；梅克·施瓦姆伯格，用定时自动机形式化危险警告通信协议，640-660[Zbl 1431.68011号]

MSC公司：

68-06 与计算机科学有关的会议记录、会议、收藏等
03B70号 计算机科学中的逻辑
65年第68季度 形式语言和自动机
第68季度第60季度 规范和验证（程序逻辑、模型检查等）
68问题85 并发和分布式计算的模型和方法（过程代数、互模拟、转换网等）
00B30型 费斯特施里夫滕

传记参考：

拉森，金·古尔德斯特朗
PDF格式BibTeX公司 XML格式引用
\textit{L.Aceto}（编辑）等人，《模型、算法、逻辑和工具》。纪念金·古德斯特兰·拉森60岁生日的文章。查姆：斯普林格（2017；Zbl 1368.68004）
全文： 内政部