提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-JOUR公司ID-DBLP:日记账/eceasst/BozzanoCLMMRT11澳大利亚-波扎诺，马尔科AU-亚历山德罗·西马蒂澳大利亚-奥列格·利萨戈澳大利亚——克里斯蒂安·马塔雷AU-Mover，塞尔吉奥AU-马可·罗维里澳大利亚-托内塔，斯特凡诺TI-Altarica模型的符号模型检查和安全评估。JO-电子。Commun公司。欧洲协会软件。科学。Technol公司。VL-462011年上半年//DO-10.14279/TUJ。ECEASST.46.697标准UR-（欧元）https://doi.org/10.14279/tuj.eceasst.46.697急诊室-