马提亚斯·恩格尔;彼得·霍夫曼;萨沃米尔·拉索塔;拉齐奇,兰科;杰罗姆·勒鲁;朱利叶斯·斯特拉辛斯基 非循环下推VAS中覆盖性问题的下限。 (英语) Zbl 1509.68097号 信息处理。莱特。 167,文章ID 106079,6 p.(2021).MSC公司:2017年第68季度 2012年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Englert}等人,《信息处理》。莱特。167,文章ID 106079,6 p.(2021;Zbl 1509.68097) 全文: 内政部 链接
巴加夫·古拉瓦尼。;查克拉波蒂,苏普拉特克;阿迪蒂亚·诺里。;Rajamani,Sriram K。 精炼抽象解释。 (英语) Zbl 1234.68258号 信息处理。莱特。 110,第16号,666-671(2010).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.S.Gulavani}等人,《Inf.过程》。莱特。110,第16号,666--671(2010;Zbl 1234.68258) 全文: 内政部