AsmetaSMV公司 2份文件引用(2016–2021) 软件作者: Arcaini,P.、Gargantini,A.、Riccobene,E。 相关软件: 昏迷;NuSMV;ASMETA… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
ASMETA公司 2份文件引用(2011–2021) 软件作者: 加甘蒂、帕卡尼、普斯卡杜拉、斯堪的纳维亚、西尔维亚邦凡提 相关软件: AsmetaSMV;昏迷;NuSMV… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)