阿隆格利特·楚蒂南;布鲁斯·H·克罗。 混合系统验证的计算技术。 （英语） Zbl 1364.93457号 IEEE传输。自动化。控制 48，第1期，64-75（2003）. 评论：未发送评论稿。 引用于41文件 MSC公司： 93元65角 离散事件控制/观测系统 68号30 软件工程的数学方面（规范、验证、度量、需求等） 93C83号 涉及计算机的控制/观察系统（过程控制等） 94立方厘米 交换理论，布尔代数的应用；布尔函数（MSC2010） PDF格式BibTeX公司 XML格式引用 \textit{A.Chutinan}和\textit{B.H.Krogh}，IEEE Trans。自动化。控制48，编号1，64--75（2003；Zbl 1364.93457） 全文： DOI程序