提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/cav/BozzanoCGM15澳大利亚-波扎诺，马尔科AU-亚历山德罗·西马蒂澳大利亚-阿尔贝托·格里乔澳大利亚——克里斯蒂安·马塔雷TI-基于模型的安全分析的高效随时技术。BT-计算机辅助验证-第27届国际会议，2015年CAV，美国加利福尼亚州旧金山，2015年7月18日至24日，会议记录，第一部分SP-603型EP-6212015年上半年//DO-2007年10月10日/978-3-319-21690-4_41UR-（欧元）https://doi.org/10.1007/978-3-319-21690-4_41UR-（欧元）https://www.wikidata.org/entity/Q6204114急诊室-