潘海宇;李永明;曹永志;马，战友 模型检查模糊计算树逻辑。 （英语） Zbl 1360.68595号 模糊集系统。 262, 60-77 (2015).MSC公司：第68季度第60季度 03B44号 68层37 PDF格式BibTeX公司 XML格式引用 \textit{H.Pan}等人，《模糊集系统》。262、60-77（2015年；Zbl 1360.68595） 全文： 内政部
克莱门斯·杜伯斯拉夫;克里斯特尔·拜尔 通信场景的定量分析。 （英语） Zbl 1465.68194号 Sankaranarayanan，Sriram（编辑）等人，时间系统的形式化建模和分析。第13届国际会议，FORMATS 2015，西班牙马德里，2015年9月2-4日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9268, 76-92 (2015).MSC公司：68问题85 60J28型 64岁以下 68平方米 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Dubslaff}和\textit{C.Baier}，莱克特。注释计算。科学。9268、76-92（2015年；Zbl 1465.68194） 全文： 内政部
休伯特·加拉维;弗雷德里克·朗;拉杜·马特埃斯库 使用CADP对异步并发系统进行组合验证。 （英语） Zbl 1410.68250号 学报信息。 52，No.4-5，337-392（2015）.MSC公司：68问题85 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Garavel}等人，《学报》第52期，第4--5337--392号（2015年；Zbl 1410.68250） 全文： 内政部
罗伯特·梅奥利奇;塔贾纳·卡普斯;Zmago布雷佐尼克 ACTLW–带除非运算符的基于操作的计算树逻辑。 （英语） Zbl 1134.68033号 信息科学。 178，第6期，1542-1557（2008）.MSC公司：第68季度第60季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{R.Meolic}等人，《信息科学》。178，第6号，1542--1557（2008；Zbl 1134.68033） 全文： 内政部
格内西、斯特凡尼亚;迭戈·拉特拉;梅克·马西克 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） 全文： 内政部