Marco Bozzano等人：Altarica模型的符号模型检查和安全评估。(2011) 日记账/eceasst/BozzanoCLMMRT11 10.14279/吨。ECEASST.46.697标准 Altarica模型的符号模型检查和安全评估。 7 马可·波扎诺 1 亚历山德罗·西马蒂 2 奥列格·利萨戈 三 克里斯蒂安·马塔雷 4 塞尔吉奥·莫弗 5 马可·罗维里 6 斯特凡诺·托内塔 7 电子。Commun公司。欧洲协会软件。科学。技术。 电子。Commun公司。欧洲协会软件。科学。技术。 46 2011 dblp记录“journals/eceasst/BozzanoCLMMRT11”的RDF数据的来源信息 2021-10-14T09:06:52+0200