睫毛 swMATH ID: 21269 软件作者： 伯纳德·博伊格洛特 描述： 基于Liège Automata-based Symbolic Handler（LASH）：LASH是一个用于表示无限集和探索无限状态空间的工具集。它基于有限状态表示，有限状态表示依赖于有限状态自动机来表示和操作各种数据域上的无限值集。 主页： http://www.montefiore.ulg.ac.be网站/~boigelot/research/lash公司/ 相关软件： 快速;TREX公司;莫纳;LIRA公司;阿尔戈60;自旋蛋白;蒙哥;session-ocaml会议;z3（零3）;cvc3型;Yices公司;简化;高超声速;PHAVer公司;PNML公司;CESAR公司 引用于： 22文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 关于从线性算术约束构造自动机。 Zbl 0964.68082号皮埃尔·沃尔珀;伯纳德·博伊格洛特 2000 全部的 前5名24位作者引用 11 伯纳德·博伊格洛特 5 皮埃尔·沃尔珀 三 阿兰·芬克尔 三 杰罗姆·勒鲁 2 尚巴特，皮埃尔 2 弗雷德里克·赫布雷托 2 塞巴斯蒂安·佐多涅 2 路易斯·拉图尔 2 Legay、Axel 2 西尔万·施密茨 1 克里斯托夫·舒尔特·阿尔托夫 1 亚历克西斯·贝丝 1 朱利安·布鲁斯滕 1 塞塞、杰拉德 1 克里斯蒂安·乔夫鲁特 1 Jean-Michel库弗勒 1 约琴·艾辛格 1 费利克斯·克莱特克 1 卢卡·帕多瓦尼 1 格雷戈伊尔·萨特雷 1 沃尔夫冈·托马斯 1 阿比·瓦尔丹 1 马赫什·维斯瓦纳坦 1 尼科·沃尔迈耶 5篇连载文章中引用 5 理论计算机科学 2 系统设计中的形式化方法 1 信息与计算 1 计算机科学中的逻辑方法 1 程序设计中的逻辑和代数方法杂志 在2个字段中引用 22 计算机科学（68至XX） 9 数学逻辑和基础（03-XX） 按年份列出的引文