金·古德斯特兰·拉森（编辑）;伊戈尔·波塔波夫（编辑）;吉·斯尔巴（编辑） 可达性问题。2016年9月19-21日在丹麦奥尔堡举行的RP 2016第十届国际研讨会。诉讼程序。 （英语） Zbl 1371.68012号 计算机科学课堂讲稿9899.查姆：施普林格（ISBN 978-3-319-45993-6/pbk；978-3-3169-45994-3/电子书）。xiv，193页。(2016). 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。有关前面的研讨会，请参阅[Zbl 1371.68004号].索引文章：阿兰·芬克尔，WSTS的理想理论，1-22[Zbl 1483.68229号]Legay，Axel；西恩·塞德瓦兹；路易斯·马里·特劳努埃兹，统计模型检查概述的罕见事件，23-35[Zbl 1478.68168号]娜塔莎·亚历奇纳；斗牛，尼尔斯；斯蒂芬·德姆里；布赖恩·洛根，关于资源约束逻辑的复杂性，36-50[Zbl 1403.68137号]Best，Eike；哈罗·威梅尔、普通、有界、可逆、持久和标记的Petri网具有标记的图可达图，51-62[Zbl 1478.68186号]乔治·德尔扎诺，图断言的可达性谓词，63-76[Zbl 1478.68188号]托马斯·杰夫罗伊（Thomas Geffroy）；勒鲁，杰罗姆；格雷戈伊尔·萨特雷，奥卡姆剃刀用于Petri网覆盖问题，77-89[兹比尔1402.68133]亨利·汉森；安蒂·瓦尔马里，安全性能驱动的顽固设置，90-103[Zbl 1478.68191号]Sam A.M.Jones。；理查德·托马斯（Richard M.Thomas）。，描述组的单词问题，104-118[Zbl 1403.68116号]阿德里安·勒科恩特；劳伦·弗里堡；尼古拉斯·马基（Nicolas Markey）；佛罗里达州De Vuyst；卢多维奇·查莫因，状态相关开关控制的分布式综合，119-133[Zbl 1405.93125号]阿德里安·勒科恩特；劳伦特·弗里堡；罗曼·苏拉特，使用局部定点迭代对布尔网络进行合成分析，134-147[Zbl 1478.68324号]黑格，马修；Anthony Widjaja林，具有递归并行性的集成操作程序的可判定模型，148-162[Zbl 1403.68125号]雷诺·尼斯卡宁，一维状态机器人游戏，163-176[Zbl 1478.68194号]Potapov，Igor；奥列纳·普里安奇尼科娃；谢尔盖·弗兰，关系词上的插入-删除系统，177-191[Zbl 1410.68193号] 引用于1审查引用于1文件 理学硕士： 68-06 与计算机科学有关的会议记录、会议、收藏等 68季度xx 计算理论 00B25型 杂项特定利益的会议记录 引文：Zbl 1371.68004号 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}（编辑）等人，《可达性问题》。2016年9月19-21日在丹麦奥尔堡举行的RP 2016第十届国际研讨会。诉讼程序。查姆：斯普林格（2016；Zbl 1371.68012） 全文： 内政部