自旋蛋白 619文件引用(1990–2023) 软件作者: 贝尔实验室 相关软件: NuSMV;Uppaal;班德拉… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
克洛诺斯 246篇文献引用(1997–2022) 软件作者: Conrado Daws、Alfredo Olivero、Stavros Tripakis、Sergio Yovine 相关软件: Uppaal;高科技;旋转… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
CESAR公司 160篇文献引用(1982–2023) 软件作者: Queille,J.P。;J.西法基斯。 相关软件: 自旋蛋白;SLAM;Uppaal… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
MCMAS公司 86篇文献引用(2006–2023) 软件作者: 阿莱西奥·洛穆西奥(Alessio Lomuscio)、洪阳区(Hongyang Qu)、弗兰科·雷蒙迪(Franco Raimondi) 相关软件: MCK;摩卡;MCMAS-SLK… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
SLMC公司 75篇文献引用(2003–2023) 软件作者: 雨果·维埃拉;路易斯·凯雷斯 相关软件: 棱镜;管道;莫德… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
斑点 61篇文献引用(2005–2023) 软件作者: Duret-Lutz,A。;波特雷诺。 相关软件: 自旋蛋白;LTL2BA;NuSMV… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
METATEM公司 49篇文献引用(1994–2016) 软件作者: 巴林格,H。;费希尔,M。;Gabbay博士。;戈夫,G。;R.欧文斯。 相关软件: AgentSpeak;高尔夫;ConGolog… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
生物CHAM 52篇文献引用(2005–2024) 软件作者: Chabrier,N.、Fages,F.、Soliman,S。 相关软件: 生物-PEPA;棱镜;政治公众人物协议… 主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…
违约 32篇文献引用(2011–2022) 软件作者: 亚历山大·唐泽 相关软件: S-TaLiRo;流量*;SpaceEx… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
日本运通银行 25篇文献引用(2002–2022) 软件作者: 克劳斯·哈弗伦德;格里高·罗什乌 相关软件: Java PathFinder;莫德;班德拉… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
MCK公司 34份文件引用(2004–2023) 软件作者: 罗恩·范德梅登;彼得·甘米(Peter Gammie);Kai Baukus;杰里米·李;程洛;黄晓伟 相关软件: MCMAS;VerICS;NuSMV… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…
TLA公司 29篇文献引用(1992–2023) 软件作者: L.兰波特 相关软件: 自旋蛋白;z3;加号… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
BPEL2oWFN型 25篇文献引用(2007–2020) 软件作者: 尼尔斯·洛曼 相关软件: 奶牛;BPEL2PN;温迪… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…
LTSmin公司 25篇文献引用(2011–2023) 软件作者: 阿尔芬斯·拉阿尔曼(Alfons Laarman);雅各·范德波尔;迈克尔·韦伯;斯特凡·布洛姆 相关软件: 自旋蛋白;Uppaal;迪文尼… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
PESSOA公司 26篇文献引用(2011–2022) 软件作者: 罗伊,普里塔姆;保罗·塔布阿达;鲁帕克·马朱姆达尔 相关软件: SCOTS;科西马;TuLiP… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
S-TaLiRo公司 26篇文献引用(2011–2023) 软件作者: 安普雷迪(Annpureddy),亚什旺斯(Yashwanth);刘,车;费内科斯(Fainekos,Georgios);桑卡拉纳拉亚南,斯里拉姆 相关软件: 违约;SpaceEx;流量*… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
VESTA公司 22篇文献引用(2007–2021) 软件作者: Koushik Sen、Mahesh Viswanathan、Gul Agha 相关软件: 棱镜;莫德;HOL… 主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);统计学(62-XX)…
LARS公司 23篇文献引用(2016–2022) 软件作者: Beck,H.、Dao-Tran,M.、Eiter,T.、Fink,M。 相关软件: 克林戈;o克林戈;SPARQL… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
TRP公司++ 20篇文献引用(2004–2023) 软件作者: Hustadt,U.,Konev,B。 相关软件: NuSMV;SPASS;利维坦… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
聚乙烯醇水杨酸 14篇文献引用(2011–2023) 软件作者: AlTurki,M.,Meseguer,J 相关软件: 莫德;PMaude;VESTA… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
可控硅 10篇文献引用(2000–2018) 软件作者: 伊曼·布尔吉巴;贝莱德Moa 相关软件: 自旋蛋白;NuSMV;PVS… 主要字段: 数值分析(65-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
薄层色谱法 15篇文献引用(2000–2023) 软件作者: Lamport L、Yu Y 相关软件: 自旋蛋白;TLAPS;常春藤… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
TTM公司 18篇文献引用(2007–2023) 软件作者: J.Gaintzarain、M.Hermo、P.Lucio、M.Navarro、F.Orejas 相关软件: TRP++;拉比尼泽;条纹… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
可视信息系统 10篇文献引用(2005–2015) 软件作者: Brayton,R.K.等人。 相关软件: NuSMV;自旋蛋白;LTL2BA… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
CACTUS公司 15篇文献引用(1998年至2016年) 软件作者: 马诺利斯Gergatsoulis 相关软件: 数据日志;DeCART公司;FCVODE… 主要字段: (68N17-XX);(03B44-XX)
蒙保利 14篇文献引用(2015年至2024年) 软件作者: D.Basin、M.Harvan、F.Klaedtke、E.Zalinescu 相关软件: LOLA;德贾武;天线… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
临时雇员 15篇文献引用(2004–2021) 软件作者: 乌尔里希侯斯塔特;鲍里斯·科涅夫;亚历山大·里亚扎诺夫;安德烈·沃伦科夫 相关软件: VAMPIRE公司;TSPASS;TRP++… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
TuLiP公司 15篇文献引用(2016–2022) 软件作者: Tichakorn Wongpiromsarn、Ufuk Topcu、Necmiye Ozay、Huan Xu、Richard M.Murray 相关软件: PESSOA;科西马;SCOTS… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
TLAPS(TLAPS) 14篇文献引用(1999年-2023年) 软件作者: 拉波特 相关软件: 薄层色谱法;常春藤;Coq… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
AMT公司 12份文件引用(2008–2018) 软件作者: D.尼科维奇,O.马勒 相关软件: Uppaal;SpaceEx;棱镜… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
RoVerGeNe公司 13份文件引用(2007–2019) 软件作者: 格雷戈里·巴特;凯琳·贝尔塔 相关软件: RAMAS;生物炭;迪文尼… 主要字段: 动力系统与遍历理论(37-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)…
SMV公司 13份文件引用(1986–2018) 软件作者: 埃德·克拉克;K.L.McMillan;E.A.艾默生;J.R.伯奇 相关软件: 高科技;PHAVer;旋转… 主要字段: 常微分方程(34-XX);变分法与最优控制;优化(49-XX);计算机科学(68-XX)…
APNN-工具箱 12份文件引用(1999–2022) 软件作者: 彼得·巴赫霍尔茨(Peter Buchholz);马库斯·费舍尔;彼得·坎佩尔;卡斯滕·泰珀 相关软件: 棱镜;政治公众人物协议;LDQBD… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);概率论与随机过程(60-XX);数值分析(65-XX)…
猫头鹰 12份文件引用(2018–2022) 软件作者: Křetínsk \345],Jan;托比亚斯·梅根多尔弗;所罗门·西克特 相关软件: SPOT;条纹;棱镜… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
解除束缚 12份文件引用(2011–2023) 软件作者: 吕迪格·埃勒斯 相关软件: 相思树+;条纹;BoSy… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
数据日志LITE 9份文件引用(2002–2019) 软件作者: 乔治·戈特洛布(Georg Gottlob);Erich Grädel;赫尔穆特·维思 相关软件: XPath;Ltur;ComputeTW… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
IDLVALID公司 10篇文献引用(2001–2013) 软件作者: 帕里托什·K·潘迪亚。 相关软件: DCVALID;Uppaal;Kronos… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
MAVEN公司 9份文件引用(2007–2013) 软件作者: Max Goldman;埃米利亚·卡茨(Emilia Katz);Shmuel Katz 相关软件: ProMoVer;CVPP;Aspectual凸轮… 主要字段: 计算机科学(68-XX)
EAGLE公司 9份文件引用(2015–2021) 软件作者: 亚历克西斯·图米;朱利安·古铁雷斯(Julian Gutierrez);迈克尔·伍尔德里奇 相关软件: MCMAS;摩卡;PRISM-games… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
OCRA公司 9份文件引用(2015–2022) 软件作者: Cimatti,A。;Dorigatti,M。;托内塔,S。 相关软件: nuXmv;NuSMV;数学SAT5… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);系统论;控制(93-XX)
德贾武 8份文件引用(2018–2022) 软件作者: Havelund,K。;贝利德,D。;D.乌卢斯。 相关软件: LOLA;蒙保利;Java-MOP… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
RGITL公司 8份文件引用(2014–2022) 软件作者: 格哈德·谢尔霍恩(Gerhard Schellhorn);托凡、博格丹;吉登•恩斯特(Ernst,Gidon);Pf“ahler,Jörg;Reif,Wolfgang 相关软件: 自旋蛋白;KIV;Dafny… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
SCTL-MUS公司 5份文件引用(2001–2006) 软件作者: JoséJ.Pazos Arias。;加西亚·杜克(Jorge García Duque) 相关软件: PVS;SLAM;NuSMV… 主要字段: (68Q65-XX)
德拉格 7份文件引用(2017–2021) 软件作者: 米勒,大卫;所罗门·西克特 相关软件: SPOT;猫头鹰;LTL2BA… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
目标 6篇文献引用(2009–2015) 软件作者: Tsay,Y.-K.,Chen,Y.-F.,Tsai,M.-H.,Wu,K.-N.,Chan,W.C。 相关软件: 自旋蛋白;LTL2BA;Matlab… 主要字段: –
磅/吨 5份文件引用(2009–2015) 软件作者: H.Tauriainen;K.赫尔詹科 相关软件: LTL2BA;SPOT;旋转… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
NMRDPP公司 7份文件引用(2006–2023) 软件作者: 蒂堡,S。;格雷顿,C。;斯莱尼,J。;价格,D。;卡班扎,F。 相关软件: 图形平面图;观察员;OpenAI健身房… 主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
TATL公司 7份文件引用(2009–2017) 软件作者: 艾米莉·大卫 相关软件: CL校准仪;VAMPIRE公司;TRP++… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
卡利 4份文件引用(2007–2014) 软件作者: Fonseca MJ、Pimentel C、Jorge JA 相关软件: SketchREAD;塔胡提;HCRF… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
卡萨尔 5份文件引用(2012–2022) 软件作者: 彼得·布利切夫(Peter Bulychev);亚历山大·戴维;古德斯特兰·拉森(Kim Guldstrand Larsen);Legay,Axel;李广元;丹尼·鲍尔森(Danny Bougsted Poulsen);阿梅莉·施泰纳 相关软件: Uppaal;UPPAAL TIGA;APMC… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
COSMOS公司 6篇文献引用(2013–2021) 软件作者: Ballarini,P.、Djafri,H.、Duflot,M.、Haddad,S.、Pekergin,N。 相关软件: 棱镜;Ymer;VESTA… 主要字段: 统计学(62-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
HASL公司 6篇文献引用(1986–2016) 软件作者: Ballarini,P.、Djafri,H.、Duflot,M.、Haddad,S.、Pekergin,N。 相关软件: COSMOS;Uppaal;棱镜… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
利维坦 6篇文献引用(2016年至2021年) 软件作者: 贝特罗(Matteo Bertello);尼古拉·吉甘特(Nicola Gigante);安吉洛·蒙塔纳里(Angelo Montanari);雷诺兹,马克 相关软件: NuSMV;TRP++;阿尔塔… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
MSVL公司 6篇文献引用(2019–2020) 软件作者: 王晓兵、丛田、段振华、梁昭 相关软件: 自旋蛋白;CPA检查员;CESAR… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
验证 5份文件引用(2021–2023) 软件作者: 托马索·德罗西(Tommaso Dreossi)、丹尼尔·弗雷蒙特(Daniel J.Fremont)、施洛蒙娜·戈什(Shromona Ghosh)、爱德华·金(Edward Kim)、哈迪·拉文巴赫(Hadi Ravanbakhsh)、马塞尔·巴斯奎兹·香拉特(Marcell Vazque 相关软件: Reluplex;NNV;风景… 主要字段: 计算机科学(68-XX);系统论;控制(93-XX)
VMC公司 5份文件引用(2015–2020) 软件作者: 莫里斯·比克。;弗朗科·马扎蒂(Franco Mazzanti);阿尔迪·苏洛娃 相关软件: DeltaCCS;MSTA;mCRL2… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
CTL-RP公司 5份文件引用(2010–2021) 软件作者: 张澜;乌尔里希侯斯塔特;克莱尔·狄克逊 相关软件: SPASS;TRP++;TeMP… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
kP工作台 5份文件引用(2015年-2023年) 软件作者: Gheorghe,M.、Ipate,F.、Mierla,L.、Konur,S。 相关软件: 自旋蛋白;NuSMV;莫德… 主要字段: 计算机科学(68-XX)
长期平均价格 5份文件引用(2017年至2022年) 软件作者: Cameron Finucane;《钢原经》;哈达斯·克雷斯·加济特 相关软件: PESSOA;TuLiP;SCOTS… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
MarCaSPiS公司 5份文件引用(2009–2015) 软件作者: 洛科·德·尼古拉、迭戈·拉泰拉、米歇尔·洛雷蒂、梅克·马西克 相关软件: 奶牛;MoDeST;科莱姆… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);概率论与随机过程(60-XX)…
萨波 5份文件引用(2017年至2022年) 软件作者: 德罗西T 相关软件: SpaceEx;高科技;违约… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);系统论;控制(93-XX)
德克萨斯州 5份文件引用(2021–2022) 软件作者: C.Lemieux、D.Park、I.Beschatnikh 相关软件: PPTLMiner;S-TaLiRo;Daikon… 主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)
酷 引用于3份文件(2014–2018) 软件作者: 丹尼尔·戈林;德克·帕丁森;卢茨·施罗德;弗洛里安·维德曼;托尔斯滕·维曼 相关软件: LoTREC;精益K;E定理证明器… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
前夕 4份文件引用(2019–2021) 软件作者: 穆罕默德·纳吉布 相关软件: MCMAS;MCMAS-SLK;PRISM-games… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
FaPAS公司 4份文件引用(2013–2018) 软件作者: B.约丹诺夫,C.贝尔塔 相关软件: NuSMV;VeriSIMPL;算法97… 主要字段: 组合数学(05-XX);生物学和其他自然科学(92-XX);系统论;控制(93-XX)
不完整性 4份文件引用(1998–2008) 软件作者: 戈曼,H.J.M。;Kok,J.N。;Sere,K.先生。;Udink,R.T.ti:《有罪不罚框架中的协调》。 相关软件: – 主要字段: 偏微分方程(35-XX);计算机科学(68-XX);统计力学,物质结构(82-XX)…
科梅特 4份文件引用(2002–2005) 软件作者: Calmet,J.,Jekutsch,S.,Kullmann,P.,Schü,J。 相关软件: FRIL;PVS;SPASS… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
MoMo公司 4份文件引用(2005–2014) 软件作者: 德尼古拉(De Nicola)、罗科(Rocco);米歇尔·洛雷蒂 相关软件: 科莱姆;SLMC;COPASI… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
MuTACLP公司 引用于3份文件(2000–2014) 软件作者: 保罗·曼卡雷拉(Paolo Mancarella);吉安卢卡·内尔比尼;拉斐特,亚历山德拉;Franco图里尼 相关软件: SMT-LIB;酯类;SIC斯图斯 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
PRISM-PSY公司 4份文件引用(2018) 软件作者: 乔什卡,M.,Pilař,P.,Paoletti,N.,Brim,L.,Kwiatkowska,M。 相关软件: 棱镜;PROPhESY公司;PPL… 主要字段: –
XTL公司 4份文件引用(2003–2017) 软件作者: Garavel,H.、Mateescu,R。 相关软件: CADP;LNT2LOTOS公司;Exp.打开… 主要字段: 计算机科学(68-XX)
阿尔塔 引用于3份文件(2016年至2020年) 软件作者: 李建文;姚银波;Pu、Geguang;张丽君;何继峰 相关软件: 利维坦;TRP++;NuSMV… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
生物模型分析仪 2份文件引用(2017–2021) 软件作者: 扎拉·艾哈迈德;大卫·本克(David Benque);谢尔盖·别雷津;Dahl,Anna Caroline E。;贾斯敏·费希尔(Jasmin Fisher);本杰明·霍尔(Benjamin A.Hall)。;萨明·伊斯蒂亚克;杰伊·纳纳瓦蒂;尼尔·皮特曼;梅克Riechert;尼基塔·斯科洛夫 相关软件: 漫长的时期;亚特兰蒂斯;Cytoscape.js… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
J-LO公司 引用于3份文件(2009–2012) 软件作者: 埃里克·博登(Eric Bodden);沃尔克·斯托尔茨 相关软件: 方面J;Java-MOP;DaCapo… 主要字段: 计算机科学(68-XX)
LDYIS公司 引用于3份文件(2008–2011) 软件作者: 阿莱西奥·洛穆西奥;沃伊切赫·彭泽克 相关软件: MCMAS-X;MCMAS;Casper… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
OmegaThreads公司 引用于3份文件(2021–2022) 软件作者: 哈立德,马哈茂德;马吉德·扎马尼 相关软件: – 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);系统论;控制(93-XX)
兰花 引用于3份文件(2005–2018) 软件作者: 朱利安·奥利文;Jean Goubault Larrecq先生 相关软件: – 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)
PPT矿工 引用于3份文件(2020–2022) 软件作者: 张楠;余斌;丛天;段振华;小帅元 相关软件: 德克萨斯州;DynaMine公司;旋转… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
图腾生物网 引用于3份文件(2020–2022) 软件作者: 德博拉·博伊恩瓦尔(Déborah Boyenval)、吉莱斯·贝诺(Gilles Bernot)、海莱内·科拉维扎(Hélène Collavizza)、让·鲍尔彗星(Jean-Paul Comet) 相关软件: NuSMV;金西姆;Aleph… 主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)
BluSTL公司 2份文件引用(2019–2022) 软件作者: V.Raman,A.Donzé。 相关软件: 蒙保利;不偏不倚;DejaVu… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
语言2LTL 2份文件引用(2023) 软件作者: 刘新余;杨,Z。;Idrees,I。;Liang,S。;Schornstein,B。;Tellex,S.公司。;A.沙阿。 相关软件: OpenAI健身房;AMYTISS公司;深度合成… 主要字段: –
ProbDiVinE公司 2份文件引用(2014–2018) 软件作者: Barnat,J。;Brim,L。;塞尔纳,I。;塞斯卡,M。;J.图莫娃。 相关软件: 棱镜;通行证;拉比尼泽… 主要字段: –
qtl求解器 2份文件引用(2015–2016) 软件作者: 马尔塞洛·M·贝尔萨尼。;罗西,马蒂奥;圣彼得罗,皮耶路易吉 相关软件: z3;佐特 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)