WSAT公司 引用于29份文件(2004–2019) 软件作者: 傅湘;布尔坦、特夫菲克;苏建文 相关软件: BPEL2PN;CADP;旋转… 主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…
LTSA-WS公司 12份文件引用(2006–2021) 软件作者: Magee J、Kramer J、Uchitel S等 相关软件: WSAT;NuSMV;UFO… 主要字段: 计算机科学(68-XX)
OligoPred公司 5份文件引用(2012–2013) 软件作者: 邱建德。;索,S.B。;孙晓勇。;史,S.P。;梁,R.P。 相关软件: 细胞定位;SecretP;iLoc-Euk… 主要字段: 组合数学(05-XX);欧氏空间(42-XX)的调和分析;统计学(62-XX)…
特里亚纳 在0个文档中引用 软件作者: Majithia,S。;加的夫Sch。计算的。科学。,英国加的夫大学;护罩,M。;泰勒,I。;我·王。 相关软件: 塔维纳;网格流;MiToBo… 主要字段: –
橙色4WS 3份文件引用(2016年至2019年) 软件作者: V.Podpečan、M.Zemenova、N.Lavrać 相关软件: 橙色;威卡;生物2RDF… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)
自动同步 3份文件引用(2009–2012) 软件作者: 怀、金鹏;邓婷;李宪贤;杜宗霞;郭慧鹏 相关软件: WSAT;NuSMV;LTSA-WS… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
WS2JADE公司 1份文件引用(2006) 软件作者: 玄盛元、Ryszard Kowalczyk、Mohan Baruwal Chhetri、阿拉斯代尔格兰特 相关软件: 玉;SNAP(快照) 主要字段: 计算机科学(68-XX)
SCAIMO公司 1份文件引用(2009) 软件作者: 阿米尔·瓦希德·达斯特杰迪;塔巴塔拜,古拉姆·哈桑(Gholam Hassan)说;万·M.N.万·卡迪尔;易卜拉欣、苏哈伊米;Elahe Sarafian 相关软件: – 主要字段: 计算机科学(68-XX)