提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/cav/BozzanoCKNNRW10澳大利亚-波扎诺，马尔科AU-亚历山德罗·西马蒂AU-Katoen，Joost-PieterAU-阮，越南澳大利亚-诺尔，托马斯AU-马可·罗维里澳大利亚-威默，拉尔夫TI-AADL的模型检查器。英国电信公司-计算机辅助验证，第22届国际会议，2010年7月15日至19日，英国爱丁堡，CAV 2010。诉讼SP-562EP-5652010年上半年//DO-2007年10月7日/978-3-642-14295-6_48UR-（欧元）https://doi.org/10.1007/978-3-642-14295-6_48UR-（欧元）https://www.wikidata.org/entity/Q57801372急诊室-