卢卡·德·阿尔法罗;普里塔姆·罗伊 通过三值抽象求精解决游戏。 (英语) Zbl 1205.68225号 Inf.计算。 208,第6期,666-676(2010).MSC公司:第68季度第60季度 91A05型 PDF格式BibTeX公司 XML格式引用 \textit{L.de Alfaro}和\textit{P.Roy},Inf.Comput。208,第6号,666--676(2010;Zbl 1205.68225) 全文: 内政部
亚历山德罗·阿巴特;约翰·莱杰罗斯;Shankar S.萨斯特里。 枯草芽孢杆菌存活分析的概率安全性和最优控制。 (英语) Zbl 1188.49036号 系统。控制信函。 59,第1期,79-85(2010).MSC公司:49N90型 92D25型 93E20型 60J20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Abate}等人,系统。控制信函。59,第1号,第79-85条(2010年;Zbl 1188.49036) 全文: 内政部