乔治·阿格里斯;阿尔贝托·卢什·拉富恩特;米尔科·特里巴斯通;马克斯·柴科夫斯基;安德烈·范丁 用反向布尔等价简化布尔网络。 （英语） Zbl 1491.92058号 Cinquemani，Eugenio（编辑）等人，《系统生物学中的计算方法》。第19届国际会议，CMSB 2021，波尔多，法国，2021年9月22日至24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12881, 1-18 (2021).MSC公司：92立方厘米 92-08 PDF格式BibTeX公司 XML格式引用 \textit{G.Argyris}等人，Lect。注释计算。科学。12881，1-18（2021；Zbl 1491.92058） 全文： 内政部 arXiv公司
王彩露;陶月刚 逻辑系统的卡诺图及其在数字电路设计中的应用。 （英语） Zbl 1478.94152号 电路系统。信号处理。 39，第5期，2245-2271（2020）。MSC公司：94立方厘米05 94C15号机组 94C30个 PDF格式BibTeX公司 XML格式引用 \textit{C.Wang}和\textit{Y.Tao}，电路系统。信号处理。39，第5号，2245--2271（2020；Zbl 1478.94152） 全文： 内政部
井原武弘 用于冲突解决的图模型中的状态转移时间分析。 （英语） Zbl 1410.91144号 申请。数学。计算。 274372-382（2016）。MSC公司：91A80型 PDF格式BibTeX公司 XML格式引用 \textit{T.Inohara}，应用。数学。计算。274372-382（2016年；Zbl 1410.91144） 全文： 内政部
王家福;王，林 分段线性生物模型的状态转移图和奇异平衡点的稳定性。 （英语） Zbl 1398.92090号 生理学D 246，第1期，39-49（2013）。MSC公司：92立方厘米 05C90年 PDF格式BibTeX公司 XML格式引用 \textit{J.Wang}和\textit{L.Wang}，Physica D 246，No.1，39-49（2013；Zbl 1398.92090） 全文： 内政部
哈纳库巴托娃 FSM在FPGA中的实现。 （英语） Zbl 1019.68014号 Adamski，Marian（编辑）等人，《离散事件系统设计国际研讨会论文集》。2001年6月27日至29日，波兰齐埃罗纳戈拉附近的Przytok，DESDes'01。Zielona Góra：Zielona Góra大学计算机工程与电子学院。141-146 (2001).MSC公司：68甲15 68M99型 PDF格式BibTeX公司 XML格式引用 \textit{H.Kubátová}，in：离散事件系统设计国际研讨会论文集。2001年6月27日至29日，波兰齐埃罗纳戈拉附近的Przytok，DESDes'01。齐埃罗娜·戈拉：齐埃罗纳·戈拉的TU，计算机工程与电子研究所。141——146（2001年；Zbl 1019.68014）
Sam M.金。 一种识别拼接语言的算法。 （英语） 2008年8月89日 Jiang，Tao（编辑）等人，《计算与组合学》。第三届国际年会，1997年。中国上海。1997年8月20日至22日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1276, 403-411 (1997).MSC公司：92C40型 65年第68季度 92-04 92D20型 PDF格式BibTeX公司 XML格式引用 \textit{S.M.Kim}，莱克特。注释计算。科学。1276403-411（1997；Zbl 0889.92008）
帕拉什·萨尔卡 \正方形网格上的（sigma^+\）-自动机。 （英语） Zbl 0889.68107号 复杂系统。 10，第2期，121-141（1996）。MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Sarkar}，复杂系统。10，第2号，121--141（1996；Zbl 0889.68107）
Das，Aloke K。;Nayak，Tapas K。;P.Pal乔杜里 基于深度的可加元胞自动机状态转移图表征。 （英语） Zbl 0825.68470号 信息科学。 第3期第65页，189-224页（1992年）。MSC公司：68问题80 68兰特 05元50分 PDF格式BibTeX公司 XML格式引用 \textit{A.K.Das}等人，《信息科学》。65，第3号，189--224（1992；Zbl 0825.68470） 全文： 内政部
Edmund M.jun Clarke。 时序逻辑模型检查：两种避免状态爆炸问题的技术。 （英语） Zbl 0786.68058号 计算机辅助验证’90，Proc。第二届DIMACS研讨会，新不伦瑞克/新泽西州（美国），1990年，DIMACS，Ser。自由裁量权。数学。西奥。计算。科学。3, 1-2 (1991).MSC公司：60年第68季度 03B45号 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Clarke jun.}，in：计算机辅助验证'90。第二届DIMACS研讨会论文集，1990年6月18日至21日，美国新泽西州新不伦瑞克罗格斯大学，普罗维登斯，RI:美国数学学会；纽约州纽约市：计算机协会。1--2（1991年；Zbl 0786.68058）
金，萨姆;罗伯特·麦克诺顿;罗伯特·麦克洛斯基 确定性有限自动机局部可测性问题的多项式时间算法。 （英语） Zbl 0767.68077号 算法和数据结构，Proc。WADS’89研讨会，渥太华/加拿大，1989年，Lect。注释计算。科学。382, 420-436 (1989).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Kim}等人，Lect。注释计算。科学。382420--436（1989；Zbl 0767.68077）
北岛宏之 动态危险传播的概率安全评估。 （英语） Zbl 0607.60085号 IEEE传输。Reliab公司。 35, 114-118 (1986)。MSC公司：60 K10 90B25型 PDF格式BibTeX公司 XML格式引用 \textit{H.Kitajima}，IEEE传输。Reliab公司。35114-118（1986年；Zbl 0607.60085） 全文： 内政部
迈克尔·C·布朗。;埃德蒙·克拉克（Edmund M.Clarke）。;大卫·L·迪尔。;巴德·米什拉 使用时序逻辑的时序电路的自动验证。 （英语） Zbl 0604.94011号 IEEE传输。计算。 351031-1044（1986年）。MSC公司：94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.C.Browne}等人，IEEE Trans。计算。351035--1044（1986年；Zbl 0604.94011） 全文： 内政部
E.M.克拉克。;M.C.布朗。;艾默生，E.A。;西斯特拉，A.P。 使用时序逻辑自动验证有限状态系统。 （英语） Zbl 0582.68009号 并发系统的逻辑和模型。北约高级研究所，法国拉科勒苏罗普，1984年，北约ASI Ser。，序列号。F 13，3-26（1985）。 审核人：V.Calmatuianu公司 MSC公司：68问题65 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式
Takaragi，K。;R·佐佐木。;Shingai，S。 一种快速马尔可夫可靠性计算方法。 （英语） Zbl 0578.90031号 IEEE传输。Reliab公司。 34, 262-268 (1985)。MSC公司：90B25型 60K20码 PDF格式BibTeX公司 XML格式引用 \textit{K.Takaragi}等人，IEEE Trans。Reliab公司。34、262--268（1985；Zbl 0578.90031） 全文： 内政部
拉贾戈帕尔，A.K。;乌普鲁里，V.R.R。;大卫·S·斯科特。;艾扬加，S.Sitharama;Yellayi，莫汉 由\（2^n\）的前导数字生成的字符串的新结构属性。 （英语） Zbl 0529.60015号 申请。数学。计算。 14, 221-244 (1984)。MSC公司：60电子99 11路16号 82磅05 94甲15 68兰特 11A63型 PDF格式BibTeX公司 XML格式引用 \textit{A.K.Rajagopal}等人，应用。数学。计算。14、221--244（1984；Zbl 0529.60015） 全文： 内政部
Kak，Subhash C。 数字幂的前几个数字的字符串。 （英语） Zbl 0547.10005号 印度J.Pure Appl。数学。 14, 896-907 (1983)。 审核人：卡拉迪 MSC公司：11A63型 11路16号 05C75号 05C20号 PDF格式BibTeX公司 XML格式引用 \textit{S.C.Kak}，印度J.Pure Appl。数学。14896-907（1983年；Zbl 0547.10005）
T·C·韦塞尔坎珀。 计算机程序示意图及其生成的过程。 （英语） Zbl 0484.68007号 IEEE传输。软件工程。 8, 412-419 (1982)。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.C.Wesselkamper}，IEEE Trans。柔和。工程8，412--419（1982；Zbl 0484.68007） 全文： 内政部
R.A.夏洛克。 考夫曼二进制网络行为分析。状态空间描述和极限环长度的分布。 （英语） 兹比尔0406.94013 牛市。数学。生物。 41887-705（1979年）。MSC公司：94立方厘米05 PDF格式BibTeX公司 XML格式引用 \textit{R.A.Sherlock}，公牛。数学。生物学41，687--705（1979；Zbl 0406.94013）