达纳·菲斯曼（编辑）;辛格，里沙布（编辑）;阿曼多·索拉勒扎马（编辑） 语法指导合成前言专刊。 （英语） 1490.00032兹罗提 形式方法系统。设计。 58，第3号，469-470（2021）.MSC公司：00B15号机组 68-06 PDF格式BibTeX公司 XML格式引用 \textit{D.Fisman}（编辑）等，《形式方法系统》。设计。58，第3号，469--470（2021；Zbl 1490.00032） 全文： 内政部
G.库尔蒂斯。;Dixon，C。;M·费希尔。;利西萨，A。 通过一阶时序逻辑对先导/跟随系统进行参数化验证。 （英语） Zbl 1492.68087号 形式方法系统。设计。 58，第3号，440-468（2021）; 更正同上，第60号，第325-326（2022）。MSC公司：第68季度第60季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Kourtis}等人，《形式方法系统》。设计。58，第3号，440-468（2021；Zbl 1492.68087） 全文： 内政部
罗希特·杜雷加;克里斯汀·罗泽尔。 通过可重复使用的可达状态近似进行增量设计空间模型检查。 （英语） Zbl 1492.68085号 形式方法系统。设计。 58，编号3，375-398（2021）.MSC公司：第68季度第60季度 68T20型 90B20型 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{R.Dureja}和\textit{K.Y.Rozier}，《形式方法系统》。设计。58，第3号，375--398（2021；Zbl 1492.68085） 全文： 内政部 链接
拉杰夫·阿鲁尔;达纳·菲斯曼 彩色嵌套单词。 （英语） Zbl 1492.68076号 形式方法系统。设计。 58，第3期，347-374（2021）.MSC公司：65年第68季度 68号30 2012年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}和\textit{D.Fisman}，《形式方法系统》。设计。58，编号3，347--374（2021；Zbl 1492.68076） 全文： 内政部