自旋蛋白 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。;赫尔曼斯,霍尔格;Joost-Pieter Katoen;里克·克拉伦 相关软件: 棱镜;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。;杰拉德·J·霍尔兹曼。 相关软件: 自旋蛋白;jSpin;ProB… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
LTSmin公司 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) 软件作者: 阿拉斯泰尔·唐纳森;米勒,爱丽丝;卡德,莫菲 相关软件: 自旋蛋白;鹦鹉螺;SymmSpin… 主要字段: 数学逻辑与基础(03-XX);群论和概括(20-XX);计算机科学(68-XX)
SPHIN公司 5份文件引用(2006–2017) 软件作者: 胡松松(Hosung Song) 相关软件: PHAVer;高科技;旋转… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)
SCEL右侧 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)