“ARCH-COMP18类别报告:混合系统定理证明。”
斯特凡·米奇 , 安德鲁·索戈孔 , Yong Kiam Tan先生 , 安德烈·普拉泽 , 赵恒军 , 金祥宇 , 王淑玲(Shuling Wang) , 詹乃军(Naijun Zhan) :
ARCH-COMP18类别报告:混合系统定理证明。 ADHS建筑 2018 : 110-127
由于引用数据不可用,以下列表可能不完整, 引用字符串可能未成功映射到dblp中列出的项,并且 我们没有针对这些列表中给出的所有项目的完整和精心策划的元数据。