自旋蛋白 619文件引用(1990–2023) 软件作者: 贝尔实验室 相关软件: NuSMV;Uppaal;班德拉… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
Java PathFinder 96篇文献引用(2000–2023) 软件作者: 克劳斯·哈弗伦德;托马斯·普雷斯伯格 相关软件: 自旋蛋白;班德拉;veriSoft… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);系统理论;控制(93-XX)
MoDeST公司 33篇文献引用(2001–2022) 软件作者: 佩德罗·R·D’Argenio。;赫尔曼斯,霍尔格;乔斯特·皮特,卡托恩;里克·克拉伦 相关软件: 棱镜;Uppaal;高科技… 主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…
dSPIN公司 22篇文献引用(2000–2014) 软件作者: Demartini,C.,Iosif,R.,Sisto,R。 相关软件: 自旋蛋白;班德拉;Java PathFinder… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
普罗米拉 在30份文件中引用(1997–2022) 软件作者: Natarajan,V。;Gerard J.霍尔兹曼。 相关软件: 自旋蛋白;jSpin;ProB… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
LTS最小值 25篇文献引用(2011–2023) 软件作者: 阿尔芬斯·拉阿尔曼(Alfons Laarman);雅各·范德波尔;迈克尔·韦伯;斯特凡·布罗姆 相关软件: 自旋蛋白;Uppaal;迪文尼… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
SymmSpin公司 15篇文献引用(2000–2010) 软件作者: 博什纳奇奇,德拉甘作者简介;Dams,Dennis;莱泽克·霍伦德斯基 相关软件: 自旋蛋白;TopSpin公司;茂物… 主要字段: 数学逻辑与基础(03-XX);群论与推广(20-XX);计算机科学(68-XX)
顶部旋转 在11份文件中引用(2007–2022) 软件作者: 阿拉斯泰尔·唐纳森;爱丽丝·米勒 相关软件: 自旋蛋白;SymmSpin;间隙… 主要字段: 数学逻辑与基础(03-XX);群论与推广(20-XX);计算机科学(68-XX)
ByMC公司 10篇文献引用(2014–2023) 软件作者: Igor Konnov、Marijana Lazic、Helmut Veith、Josef Widder 相关软件: z3;威尔第;旋转… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
海伦娜 5份文件引用(2014–2019) 软件作者: Hennicker,R.、Klarl,A.和Wirsing,M。 相关软件: DEECO公司;SCEL;重新规范… 主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
旋转到葡萄 6篇文献引用(2005–2010) 软件作者: 阿拉斯泰尔·唐纳森;爱丽丝·米勒(Alice Miller);卡德,莫菲 相关软件: 自旋蛋白;鹦鹉螺;SymmSpin… 主要字段: 数学逻辑与基础(03-XX);群论与推广(20-XX);计算机科学(68-XX)
SPHIN公司 5份文件引用(2006–2017) 软件作者: 胡松松(Hosung Song) 相关软件: PHAVer公司;高科技;旋转… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)
SCE灯 4份文件引用(2014年至2020年) 软件作者: 德尼古拉(De Nicola)、罗科(Rocco);阿尔贝托卢克·拉富恩特;米歇尔·洛雷蒂;安德烈亚·莫里切塔(Andrea Morichetta);罗萨里奥·普格利泽;瓦莱里奥·塞尼;弗朗西斯科·蒂齐 相关软件: SCEL;自旋蛋白;琳达… 主要字段: 计算机科学(68-XX)
欧洲广告标准 引用于2份文件(2001–2005) 软件作者: Shanbhag,Vivek K。;Gopinath,K。;马尔库·图伦;阿里·阿赫蒂亚宁;马蒂·卢克凯宁 相关软件: – 主要字段: 计算机科学(68-XX)
第2b页 引用于2份文件(2001年-2010年) 软件作者: 迈克尔·巴尔达穆斯(Michael Baldamus);Jochen的Schr“oder-Babo 相关软件: 普罗米拉;自旋蛋白;ML… 主要字段: 计算机科学(68-XX)