提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/cav/BozzanoCPGJK20澳大利亚-波扎诺，马尔科AU-亚历山德罗·西马蒂澳大利亚联盟-皮雷，安东尼·费尔南德斯澳大利亚-阿尔贝托·格里乔澳大利亚-乔纳斯，马丁澳大利亚-金伯利，格雷格TI-基于SMT的高效故障传播分析。BT-计算机辅助验证-第33届国际会议，CAV 2021，虚拟事件，2021年7月20日至23日，会议记录，第二部分SP-209型EP-230型2021年上半年//执行-10.1007/978-3-030-81688-9_10UR-（欧元）https://doi.org/10.1007/978-3-030-81688-9_10急诊室-