大卫·G·卡韦扎。;达拉·阿拉杰;安德拉斯·吉尔吉 GR(1)公式的弱点度量。 (英语) Zbl 1458.68115号 正式Asp。计算。 33,编号1,27-63(2021).MSC公司:60年第68季度 03B44号 28安培80 28天20分 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.G.Cavezza}等人,《形式Asp》。计算。33,编号1,27-63(2021;兹bl 1458.68115) 全文: 内政部
大卫·贾科莫;达拉·阿拉杰;安德拉斯·吉尔吉 GR(1)公式的弱点度量。 (英语) Zbl 1460.68054号 Havelund,Klaus(编辑)等人,《形式方法》。2018年7月15日至17日,作为联邦逻辑会议的一部分,在英国牛津举行了2018年第22届国际研讨会(FM 2018)。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。10951, 110-128 (2018).MSC公司:60年第68季度 03B44号 28安培80 28天20分 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.G.Cavezza}等人,Lect。票据计算。科学。10951、110-128(2018;Zbl 1460.68054) 全文: 内政部 arXiv公司
大卫·G·卡韦扎。;达拉·阿拉杰 基于插值的GR(1)假设细化。 (英语) Zbl 1452.68115号 Legay,Axel(编辑)等人,《系统构建和分析的工具和算法》。2017年4月22日至29日在瑞典乌普萨拉举行的第23届国际会议(TACAS 2017),是欧洲软件理论与实践联合会议(ETAPS 2017)的一部分。诉讼程序。第一部分柏林:施普林格。莱克特。票据计算。科学。10205, 281-297 (2017).MSC公司:60年第68季度 03B70号 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{D.G.Cavezza}和\textit{D.Alrajeh},莱克特。票据计算。科学。10205、281--297(2017;Zbl 1452.68115) 全文: 内政部 arXiv公司