LTSA-WS公司 12份文件引用(2006–2021) 软件作者: Magee J、Kramer J、Uchitel S等 相关软件: WSAT;NuSMV;UFO… 主要字段: 计算机科学(68-XX)
利萨 4份文件引用(2011–2023) 软件作者: A.I.McLeod、Hao Yu、Zinovi Krognight 相关软件: 长备忘录;R;GW-WINKS… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);地球物理学(86-XX)