引用人
Delzanno G公司 (2016) 广播通信抽象模型参数化验证的统一视图 国际技术转让软件工具杂志 2007年10月10日/10009-016-0412-7 18 :5 (475-493) 在线发布日期:2016年10月1日 甘杰Z 雷嗪A Eles P公司 彭Z (2016) 惰性约束单调抽象 第17届国际验证、模型检查和抽象解释会议记录-第9583卷 10.1007/978-3-662-49122-5_7 (147-165) 在线发布日期:2016年1月17日 Athanasiou K公司 刘P 沃尔·T (2016) 使用线程状态方程验证无边界线程程序 第八届自动推理国际联合会议论文集-第9706卷 10.1007/978-3-319-40229-1_35 (516-531) 在线发布日期:2016年6月27日 显示更多引用者