“FTS4VMC:用于静态分析和基于家庭的模型的前端工具……”
莫里斯·H·特·比克 , 费鲁西奥·达米亚尼 , 迈克尔·利恩哈特 , 弗朗科·马扎蒂 , 卢卡-保利尼 , 佐丹诺·斯卡索 :
FTS4VMC:使用VMC对FTS进行静态分析和基于家族的模型检查的前端工具。 科学。 计算。 程序。 224 : 102879 ( 2022 )
由于引用数据不可用,以下列表可能不完整, 引用字符串可能未成功映射到dblp中列出的项,并且 我们没有针对这些列表中给出的所有项目的完整和精心策划的元数据。