科瓦奇,拉什洛 一种使用上下文约简来高效增量生成概念集的算法。 (英语) Zbl 1412.68275号 芬丹。通知。 165,编号1,43-73(2019).MSC公司:68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{L.Kovács},Fundam。通知。165,编号1,43-73(2019;Zbl 1412.68275) 全文: 内政部
Redziejowski,Roman R。 使用衍生物改进了确定性欧米伽自动体的构造。 (英语) Zbl 1279.68173号 芬丹。通知。 119,编号3-4,393-406(2012).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.R.Redziejowski},芬达姆。通知。119,编号3--4,393--406(2012;Zbl 1279.68173) 全文: 内政部
佛罗伦萨伊帕特;都铎州巴勒内斯库 有限状态机测试中的优化。 (英语) Zbl 1102.68066号 芬丹。通知。 64,编号1-4191-203(2005).MSC公司:65年第68季度 94C12号机组 PDF格式BibTeX公司 XML格式引用 \textit{F.Ipate}和\textit{T.B′l′nescu},Fundam。通知。64,编号1--4,191-203(2005;Zbl 1102.68066) 全文: 链接