莫纳

此软件的关键字
zbMATH中的参考文献(参考文献 133篇文章 , 2标准条款 )
哈夫勒娜,沃伊特ěch; 霍利克,卢卡什; 伦加尔,昂德内伊; Vojnar,Tomš:lazy(\mathrmWSk\mathrmS)决策过程中的自动机术语(2021) 洛丁,克里斯托夫; Thomas,Wolfgang:有限树上的自动机(2021) 哈维伦德,克劳斯; 佩利德,多伦; Ulus,Dogan:BDDs的一阶时序逻辑监控(2020) 我,贤承; 杰涅夫斯,皮埃尔; 杰斯伯特,尼尔斯; Layaïda,Nabil:XML查询的反向类型推理(2020) 兰德维尔,帕特里克; Löding,Christof:带兄弟间约束的Büchi树自动机的投影(2020) 塔巴哈拉,卢卡斯M。; Vardi,Moshe Y.:部分可观测性下的LTLf合成:从理论到实践(2020) 威尔斯,安德鲁·M。; 拉希贾尼安,莫泰扎; 卡夫拉基,莉迪亚·E。; Vardi,Moshe Y.:(\mathrmLTL_f)概率系统综合(2020) 菲多,汤姆訙; 霍利克,卢卡什; 伦加尔,昂德内伊; Vojnar,Tomš:WS1S的嵌套反链(2019年) 哈夫勒娜,沃伊特ěch; 霍利克,卢卡什; 伦加尔,昂德内伊; Vojnar,Tomš:《懒惰(\mathrmWSk\mathrmS)决策过程中的自动机术语》(2019) 潘迪亚,帕里托什K。; Wakankar,Amol:运行时强制防护罩的规范和最佳反应合成(2019) 阿卜杜拉,帕罗什·阿齐兹; 西斯特拉,A.普拉萨德; Talupur,Muralidhar:模型检验参数化系统(2018) 艾斯瓦里亚,C。; 博利格,贝尼迪克; Gastin,Paul:验证分布式算法的自动机理论方法(2018) 阿夫尼,伙计; Kupferman,Orna:基于组件库的合成与成本(2018) 达尔伯格,阿克塞尔; Wehner,Stephanie:使用单量子比特操作转换图形状态(2018) 德安东尼,洛丽丝; 金凯,扎卡里; 王方:符号交替有限自动机的符号决策过程(2018) 曼陀罗,恐龙; Pradella,Matteo:《通用输入驱动语言:理论和实践优势》(2018) 费尔德曼,约坦·M·Y。; 帕顿,奥德; 尼尔,伊梅曼; 射手座,情绪低落; Shoham,Sharon:用于检查归纳不变量的有界量词实例化(2017) 菲多,汤姆訙; 霍利克,卢卡什; Janků,彼得; 伦加尔,昂德内伊; Vojnar,Tomš:WS1S的懒惰自动机技术(2017) 弗鲁姆金,亚西亚; 费尔德曼,约坦·M·Y。; 洛塔克,昂德涅伊; 帕顿,奥德; 射手座,情绪低落; Sharon Shoham:证明不存在并发修改错误的属性定向可达性(2017) 海兹曼,马提亚斯; 希林,基督徒; Daniel Tischner:使用部分最大SAT最小化可见下推自动机(2017)