高超声速 320篇文献引用(1996–2024) 软件作者: 汤姆·亨廷格(Tom Henzinger)、裴勇浩(Pei-Hin-Ho)和霍华德·旺托伊(Howard Wong-Toi)。 相关软件: Uppaal;PHAVer;Kronos… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
NuSMV公司 279篇文献引用(1999–2023) 软件作者: 亚历山德罗·西马蒂;埃德蒙·克拉克;福斯托·金西格里亚(Fausto Giunchiglia);马可·罗维里(Marco Roveri);罗伯特·卡瓦达(Roberto Cavada)、米歇尔·多里加蒂(Michele Dorigatti)、亚历山德罗·马里奥蒂(Alessandro Mariotti),安德烈亚·米切利(Andrea Micheli)、塞尔吉奥·莫弗(Sergio Mover)、马可·罗维里(Marco Rover 相关软件: 自旋蛋白;CUDD;Uppaal… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
酯类 137篇文献引用(1985–2023) 软件作者: 杰拉德·贝瑞 相关软件: 卢斯特;信号;Uppaal… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)…
西雅娜 75篇文献引用(2012–2023) 软件作者: J.Bergstra、O.Breuleux、F.Bastien、P.Lamblin、R.Pascanu、G.Desjardins、J.Turian、D.Warde-Farley、Y.Bengio。 相关软件: TensorFlow;亚当;PyTorch… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
VeriFast公司 75篇文献引用(2009–2023) 软件作者: 巴特·雅各布斯;Jan Smans;弗兰克·皮森斯 相关软件: 达夫尼;布吉;z3… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
努Xmv 44篇文献引用(2015–2023) 软件作者: 罗伯特·卡瓦达、亚历山德罗·西马蒂、米歇尔·多里加蒂、阿尔贝托·格里乔、亚历桑德罗·马里奥蒂、安德烈亚·米凯利、塞尔吉奥·莫弗、马可·罗维里、斯特凡诺·托内塔 相关软件: z3;NuSMV;旋转… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
Uppaal2k公司 38篇文献引用(2000–2017) 软件作者: Kim G.Larsen、Wang Yi、Paul Pettersson、Alexandre David、Brian Nielsen、Arne Skou、John Håkansson、Jacob Illum Rasmussen、Pavel Krcál、Ulrik Larsen、Marius Mikucionis、Leonid Mokrushin 相关软件: Uppaal;克罗诺斯;高科技… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
jStar公司 32篇文献引用(2008–2022) 软件作者: DiStefano,D.,Parkinson,M。 相关软件: 小脚;VeriFast;Coq… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
垫片 30篇文献引用(2015–2023) 软件作者: 安维什·科穆拉维利(Anvesh Komuravelli);阿里·古芬克尔(Arie Gurfinkel);萨加·查基 相关软件: z3;CVC4;SeaHorn… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)
APMC公司 29篇文献引用(2004–2021) 软件作者: 托马斯·Hérault;理查德·拉斯因;弗雷德里克·马涅特;西尔万·佩伦内特 相关软件: 棱镜;Uppaal;风暴… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…
凸面.jl 27篇文献引用(2015–2023) 软件作者: Karanveer Mohan、Madeline Udell、David Zeng、Jenny Hong 相关软件: CVX;CVXPY;朱莉娅… 主要字段: 变异微积分和最优控制;优化(49-XX);统计学(62-XX);数值分析(65-XX)…
OFMC公司 25篇文献引用(2005–2022) 软件作者: 塞巴斯蒂安·莫德谢姆,卢卡·维甘诺 相关软件: AVISPA;NRL;卡斯珀… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
LTSmin公司 25篇文献引用(2011–2023) 软件作者: 阿尔芬斯·拉阿尔曼(Alfons Laarman);雅各·范德波尔;迈克尔·韦伯;斯特凡·布罗姆 相关软件: 自旋蛋白;Uppaal;迪文尼… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
Cadence SMV公司 22篇文献引用(2000–2018) 软件作者: 麦克米兰K·L。 相关软件: NuSMV;自旋蛋白;SPOT… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);系统论;对照(93-XX)
毒蛇 25篇文献引用(2016–2023) 软件作者: Peter Müller、Malte Schwerhoff、Alexander J.Summers 相关软件: VeriFast;达夫尼;z3… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数值分析(65-XX)…
阿克斯 引用于20份文件(2012–2023) 软件作者: 罗希特·查达(Rohit Chadha)、文森特·雪娃(Vincent Cheval)、特凡·乔布(tefan CiobácȘ)、史蒂夫·克莱默(Steve Kremer) 相关软件: 塔马林;AVISPA;Maude-NPA… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
FunArray(趣味阵列) 18篇文献引用(2011–2021) 软件作者: 帕特里克·库索特(Patrick Cousot);拉迪亚·库索特;弗朗西斯科·洛戈佐 相关软件: ASTREE公司;z3;助推器… 主要字段: 阶、格、有序代数结构(06-XX);计算机科学(68-XX)
科根(Cogent) 11份文件引用(2005–2018) 软件作者: 库克,拜伦;Daniel Kroening;娜塔莎·莎莉吉娜 相关软件: 卫星抗体;简化;旋转… 主要字段: 数学逻辑与基础(03-XX);偏微分方程(35-XX);数值分析(65-XX)…
GKLEE公司 11份文件引用(2013–2022) 软件作者: 李·G、李·P、萨瓦亚·G、戈帕拉克里希南·G、高什·I、拉詹·S.P。 相关软件: CUDA;GPU验证;OpenCL… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
跟踪器 在14份文件中引用(2012–2022) 软件作者: Jaffar,J.、Navas,J.A.、Santosa,A.E。 相关软件: SeaHorn;z3;VeriMAP… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
西格玛* 13份文件引用(2013–2022) 软件作者: 马特科·博廷坎(Matko Botinčan)、多马戈伊·巴比奇(Domagoj Babić) 相关软件: 拉利布;libalf;z3… 主要字段: 计算机科学(68-XX)
悉尼商学院 13份文件引用(2014–2021) 软件作者: 李毅;Albarghouthi,Aws;扎卡里·金凯;阿里·古芬克尔(Arie Gurfinkel);玛莎·契契克 相关软件: z3;vZ;OptiMathSAT… 主要字段: 数学逻辑与基础(03-XX);常微分方程(34-XX);计算机科学(68-XX)…
克拉托斯 10篇文献引用(2011–2022) 软件作者: A.Cimatti、A.Griggio、A.Micheli、I.Narasamdya、M.Roveri 相关软件: 爆炸;系统C;NuSMV… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
RealCertify公司 10篇文献引用(2018–2023) 软件作者: Victor Magron,Mohab Safey El Din 相关软件: TSSOS;塞杜米;莫塞克… 主要字段: 数论(11-XX);交换代数(13-XX);代数几何(14-XX)…
ITS工具 引用于9份文件(2019年-2023年) 软件作者: Yann Thierry-Mieg公司 相关软件: TINA;LTSmin公司;TAPAAL… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
辛西娅 8份文件引用(2012–2022) 软件作者: Peter,H.-J.,Ehlers,R.,Mattmüller,R。 相关软件: UPPAAL TIGA;Uppaal;棱镜… 主要字段: 动力系统与遍历理论(37-XX);计算机科学(68-XX);系统论;对照(93-XX)
可视化状态 7份文件引用(1999–2010) 软件作者: 林德·尼尔森,约恩;安徒生、亨利克·雷夫;亨利克·胡尔加德(Henrik Hulgaard);Gerd Behrmann;Kristoffersen,科勒;金·拉森 相关软件: CBMC;APS;NuSMV… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);系统论;对照(93-XX)
Z3str2型 7份文件引用(2017–2023) 软件作者: 郑云辉;维杰·加内什;萨努语Subramanian;特里普,奥马尔;墨菲·贝尔齐什;朱利安·杜比(Julian Dolby);张湘玉 相关软件: 陌生人;汉普;诺恩… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
佩里普洛 8份文件引用(2013–2022) 软件作者: 罗里尼(Simone Fulvio);Alt,Leonardo;格里戈里·费迪尤科维奇;Hyvärinen,Antti E.J。;娜塔莎·莎莉吉娜 相关软件: eVolCheck;FunFrog;OpenSMT2… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
RGITL公司 8份文件引用(2014–2022) 软件作者: 格哈德·谢尔霍恩(Gerhard Schellhorn);托凡、博格丹;吉登•恩斯特(Ernst,Gidon);Pf“ahler,Jörg;Reif,Wolfgang 相关软件: 自旋蛋白;基夫;Dafny… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
蜗牛 7份文件引用(2010–2021) 软件作者: Chandra,S.、Fink,S.J.、Sridharan,M。 相关软件: 投掷;z3;STP… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
斯托克Hy 8份文件引用(2019年-2023年) 软件作者: Nathalie Cauchi、Kurt Degiorgio、Alessandro Abate 相关软件: 棱镜;FAUST2;SReachTools… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);系统论;对照(93-XX)
VST-弗洛伊德 8份文件引用(2018–2023) 软件作者: 曹勤祥;Lennart Beringer;塞缪尔·格鲁特(Samuel Gruetter);约西亚·多兹;安德鲁·W·阿佩尔。 相关软件: Coq;工具链;锈蚀… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
ASPIER公司 6篇文献引用(2011–2023) 软件作者: Chaki,S;达塔,A。 相关软件: ProVerify;NAXOS;EasyCrypt… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
消防员 5份文件引用(2009–2018) 软件作者: 袁,L。;Mai,J。;苏,Z。;陈,H。;Chuah,C.N。;莫哈帕特拉,P。 相关软件: 马尔格雷夫;菲尔马托;HOL-TestGen… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
LinAIG公司 7份文件引用(2011–2022) 软件作者: 沃纳·达姆;Dierks,Henning;斯蒂芬·迪什(Stefan Disch);威廉·哈格曼;佛罗里达州Pigorsch;克里斯托夫·斯科尔;乌韦·沃尔德曼;鲍里斯·维茨 相关软件: z3;CUDD;SpaceEx… 主要字段: 凸和离散几何(52-XX);数值分析(65-XX);计算机科学(68-XX)…
增值税 7份文件引用(2012–2019) 软件作者: 安大略省Lengál;Šimáček,Jiří;汤姆·沃纳 相关软件: MTBDD;莫纳;幻灯片… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
CPBPV公司 4份文件引用(2010–2023) 软件作者: 海伦·科拉维扎;米歇尔·鲁赫(Michel Rueher);帕斯卡·范·亨特利克 相关软件: TCAS;CBMC;VIPR… 主要字段: 计算机科学(68-XX)
海康普 6篇文献引用(2017–2022) 软件作者: A.Cimatti、A.Griggio、S.Mover、S.Tonetta 相关软件: nuXmv;CTIGAR;z3… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
Z2萨尔 5份文件引用(2008–2012) 软件作者: J Derrick,S North,A J H Simons公司 相关软件: 自旋蛋白;Z;Z/EVES… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
EPGY公司 3份文件引用(2001–2020) 软件作者: 理查德·索默(Richard Sommer);格雷戈里·努克尔斯 相关软件: LPL软件;减少;OTTER… 主要字段: 计算机科学(68-XX);数学教育(97-XX)
懒惰的CSeq 4份文件引用(2015–2018) 软件作者: 弗拉基米尔·赫尔特;Le,Hoang M。;丹尼尔·格罗(Daniel Große);罗尔夫·德雷克斯勒 相关软件: CBMC;Cseq;MU-CSeq… 主要字段: 计算机科学(68-XX)
平均无故障时间 5份文件引用(2012–2019) 软件作者: 安大略省Lengál;Šimáček,Jiří;汤姆·沃纳 相关软件: 瓦塔;莫纳;幻灯片… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
CASPA公司 4份文件引用(2008–2015) 软件作者: 延斯·巴赫曼;马丁·里德尔(Martin Riedl);约翰·舒斯特(Johann Schuster);马库斯·西格尔 相关软件: 棱镜;CUDD;参数 主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX)
jMocha公司 4份文件引用(2008–2021) 软件作者: 阿鲁尔(Alur,R.)。;de Alfaro,L。;格罗苏,R。;Henzinger,T。;托马斯。;Kang,M。;Kirsch,C。;马朱姆达尔,R。;Mang,F。;王,B.-Y。 相关软件: 摩卡;MCMAS;MCMAS-SLK… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
终结者 4份文件引用(2013–2022) 软件作者: 徐明;李志斌 相关软件: LoAT;停机坪;GitHub… 主要字段: 数学逻辑与基础(03-XX);群论与推广(20-XX);动力系统和遍历理论(37-XX)…
版本X 4份文件引用(2020–2022) 软件作者: Permenev,A.、Dimitrov,D.、Tsankov,P.、Drachsler-Cohen,D.、Vechev,M。 相关软件: solc验证;落叶松;埃菲尔… 主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)
跳跃 3份文件引用(2017–2021) 软件作者: 托马斯·丁斯代尔·扬(Thomas Dinsdale-Young);佩德罗·达罗查·平托;安徒生,克里斯托弗公正;拉尔斯·比克达尔 相关软件: 蝰蛇;VeriFast;草蜢… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
CoSA公司 2份文件引用(2020–2022) 软件作者: Mattarei,C.、Mann,M.、Barrett,C.等人。 相关软件: 尤瑟斯;BtorMC;波诺… 主要字段: 计算机科学(68-XX)
HyDI公司 3份文件引用(2013–2015) 软件作者: Cimatti A、Mover S、Tonetta S 相关软件: SpaceEx;数学SAT;HySAT… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);系统论;对照(93-XX)
JavaSPI(JavaSPI) 1份文件引用(2018) 软件作者: 里卡多·西斯托;比塔萨·科佩特(Bettasa Copet),皮尔吉乌塞佩(Piergiuseppe);阿瓦莱,马蒂奥;阿尔弗雷多·皮隆蒂 相关软件: MJ;AGVI;Bouncy Castle… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
PolyCleaner公司 3份文件引用(2020–2021) 软件作者: Mahzoon,A.、Große,D.、Drechsler,R。 相关软件: RevSCA;GenMul;multgen… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
修订SCA 3份文件引用(2020–2021) 软件作者: Mahzoon,A.、Große,D.、Drechsler,R。 相关软件: PolyCleaner;GenMul;multgen… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
SymDIVINE公司 2份文件引用(2018) 软件作者: J.ázek先生、P.Bauch、H.Lauko、J.Barnat 相关软件: nuXmv;jCUTE公司;CIL… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
TASS公司_ 3份文件引用(2011–2012) 软件作者: Stephen Siegel指导下的验证软件实验室 相关软件: KLEE公司;ISP;cvc3… 主要字段: 数值分析(65-XX);计算机科学(68-XX)
估价员 3份文件引用(2008–2010) 软件作者: 托马斯·亨辛格(Thomas A.Henzinger)。;Thibaud Hottelier;劳拉·科瓦奇 相关软件: 斯卡拉;数学;z3… 主要字段: 计算机科学(68-XX)
vlogsl语言 3份文件引用(2011–2013) 软件作者: Michael Katelman;何塞·梅塞盖尔 相关软件: 莫德;Java+ITP;K校准仪… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
羚羊 2份文件引用(1991) 软件作者: 詹姆斯·莫里斯。;马克·霍华德 相关软件: 卡利班;克里奥;米兰达 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)
BALM-II型 2份文件引用(2015–2020) 软件作者: 卡斯蒂蒂内蒂,G.,皮科洛,M.,维拉,T。 相关软件: MVSIS公司 主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
卡利班 2份文件引用(1991) 软件作者: 詹姆斯·莫里斯。;马克·霍华德 相关软件: 阿里尔;克里奥;米兰达 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)
克里奥 2份文件引用(1991) 软件作者: 詹姆斯·莫里斯。;马克·霍华德 相关软件: 卡利班;阿里埃尔;米兰达 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)
GoTube公司 2份文件引用(2022) 软件作者: 索菲·格伦巴赫(Sophie Gruenbacher)、马蒂亚斯·莱切纳(Mathias Lechner)、拉明·哈萨尼(Ramin Hasani)、丹妮拉·罗斯(Daniela Rus)、托马斯·汉津格(Thomas A.Henzinger)、斯科特·斯莫尔卡(Scott Smol 相关软件: 火炬差异;Reluplex;流量*… 主要字段: 计算机科学(68-XX)
新加坡金融管理局 2份文件引用(2014–2015) 软件作者: 马来亚,N.,Estacio-Hiroms,K.C.,Stogner,R.H.,Schulz,K.W.,Bauman,P.T.,Carey,G.F。 相关软件: Spalart Allmaras公司;libMesh;PETSc… 主要字段: 可变形固体力学(74-XX);流体力学(76-XX)
第2b页 2份文件引用(2001–2010) 软件作者: 迈克尔·巴尔达穆斯(Michael Baldamus);Schr“oder Babo,约琴 相关软件: 普罗米拉;自旋蛋白;ML… 主要字段: 计算机科学(68-XX)
害虫 2份文件引用(2018–2020) 软件作者: Costa,G.、Basin,D.、Bodei,C.、Degano,P.、Galletta,L。 相关软件: TCT;MuDiv;libFAUDES… 主要字段: 计算机科学(68-XX)
PiMaG公司 2份文件引用(2005–2011) 软件作者: Manolios、Panagiotis;Srinivasan,Sudarshan K。 相关软件: MiniSat;Calysto;Velev SAT基准… 主要字段: 计算机科学(68-XX)
PRODeep公司 2份文件引用(2021) 软件作者: Li R、Li J、Huang CC、Yang P、Huang X、Zhang L、Xue B、Hermanns H 相关软件: Reluplex;马拉博;阿波罗… 主要字段: 计算机科学(68-XX)
斯马卡 1份文件引用(2017) 软件作者: 阿明·比尔(Armin Biere);Jens Knoop;劳拉·科夫亚茨(Laura Kov'acs);雅各布兹维奇梅尔 相关软件: r-TuBound;STP;OTAWA… 主要字段: 计算机科学(68-XX)
STEWord公司 2份文件引用(2017–2020) 软件作者: 查克拉波蒂,苏普拉蒂克;苏拉布哈西达什维利;Carl-Johan H.Seger。;拉杰库马尔·加贾维利;坦马·霍尔丹卡尔(Tanmay Haldankar);恰塔尼(Chhatani)、迪内什(Dinesh);Mistry,拉凯什 相关软件: MiniSat;ABC;数学SAT5… 主要字段: 计算机科学(68-XX)
SymPLFIED公司 2份文件引用(2012–2013) 软件作者: 帕蒂拉曼,Karthik;Nithin M.Nakka。;Kalbarczyk,Zbigniew T。;拉维珊卡·K·伊耶。 相关软件: Stratego;OBJ咖啡馆;MMT… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
Absynth.jl公司 1份文件引用(2022) 软件作者: 安德烈亚斯·休门伯格(Andreas Humenberger);达内什瓦·阿姆罗拉希;尼古拉·比约纳;劳拉·科瓦奇 相关软件: z3(零3) 主要字段: 计算机科学(68-XX)
模拟Insydes 1份文件引用(2011) 软件作者: 马提亚斯·豪泽;克里斯蒂安·萨尔泽(Christian Salzig);亚历山大·德雷耶 相关软件: 数学软件 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
FP泰勒 1份文件引用(2022) 软件作者: 阿列克谢·索洛维耶夫;Baranowski,Marek S。;Briggs Ian;查尔斯·雅各布森;茨沃尼米尔·拉卡马里奇;加内什·戈帕拉克里什南 相关软件: dReal;HOL灯;QEPCAD… 主要字段: 计算机科学(68-XX)
科内尔公司 1份文件引用(2020年) 软件作者: 马利亚阿尔普特;丹尼尔·帕尔多(Daniel Pardo);艾丽西亚·维拉纽埃娃 相关软件: 金级规范;莫德;z3… 主要字段: 计算机科学(68-XX)
利瓦塔 1份文件引用(2019) 软件作者: Ondrej Lengal;吉里·西马切克;托马斯·沃伊纳;马丁·赫鲁斯卡;卢卡斯·霍利克 相关软件: 餐前小吃;反链;LTL2BA… 主要字段: 计算机科学(68-XX)
纸莎草纸-RT 1份文件引用(2022) 软件作者: 萨胡,斯涅哈;鲁思·肖尔(Ruth Schorr);Medina-Bulo、Inmaculada;马蒂亚斯·瓦格纳 相关软件: 姆约利尼尔;OCRA;NuSMV… 主要字段: 计算机科学(68-XX)
PeCA公司 1份文件引用(2014) 软件作者: Le,Dinh-Thuan;Nguyen,Huu-Vu;阮文廷;Mai,Phuong-Nam;Pham-Duy,Bao-Trung;Quan、Thanh-Tho;埃蒂安·安德烈;劳雷·佩特鲁奇(Laure Petrucci);刘,杨 相关软件: CPN/工具;清爽;访问/CPN… 主要字段: 计算机科学(68-XX)