提供者：Schloss Dagstuhl-莱布尼茨信息学中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/fmcad/SimmondsDGC07澳大利亚-西蒙兹，乔斯林澳大利亚——杰西卡·戴维斯AU-阿丽亚·古芬克尔AU-马莎·契契克TI-利用分辨率证明加快BMC的LTL真空检测。BT-计算机辅助设计中的形式方法，第七届国际会议，FMCAD 2007，美国德克萨斯州奥斯汀，2007年11月11-14日，会议记录SP-3EP-122007年上半年//DO-10.1109/FAMCAD.2007.16UR-（欧元）https://doi.org/10.109/FAMCAD.2007.16UR-（欧元）https://doi.ieecomputersociety.org/10.109/FAMCAD.2007.16UR-（欧元）https://www.wikidata.org/entity/Q58757020急诊室-