莫里斯·比克。;格内西、斯特凡尼亚;迭戈·拉特拉;梅克·马西克;毛里齐奥·塞巴斯蒂安尼斯;詹卢卡·特伦塔尼 协助设计群件系统-模型检查智囊团的可用性方面。 (英语) Zbl 1183.68363号 J.日志。代数。程序。 78,第4期,191-232(2009).MSC公司:第68季度第60季度 03B44号 68号30 2010年第68季度 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{M.H.ter Beek}等人,J.Log。代数。程序。78,第4号,191--232(2009;Zbl 1183.68363) 全文: 内政部
梅克·马西克;迭戈·拉特拉;格内西、斯特凡尼亚 关于测试UML状态图。 (英语) Zbl 1101.68014号 J.日志。代数。程序。 69,第1-2、1-74号(2006).MSC公司:68甲15 第68季度第60季度 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{M.Massink}等人,J.Log。代数。程序。69,编号1--2,1--74(2006;Zbl 1101.68014) 全文: 内政部
格内西、斯特凡尼亚;迭戈·拉特拉;梅克·马西克 UML状态图内核的模块化语义及其对多图表和分支时间模型检查的扩展。 (英语) Zbl 1008.68074号 J.日志。代数。程序。 51,第1期,第43-75页(2002年).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Gnesi}等人,J.Log。代数。程序。51,第1号,43--75(2002;Zbl 1008.68074) 全文: 内政部