尼古拉·贝内什;卢博什;塞缪尔·帕斯特瓦;萨夫拉内克,大卫 符号彩色SCC分解。 (英语) Zbl 1474.68210号 Groote,Jan Friso(编辑)等人,《系统构建和分析的工具和算法》。第27届国际会议,TACAS 2021,作为欧洲软件理论与实践联合会议的一部分,于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。12652, 64-83 (2021).MSC公司:68兰特 05C15号 05C85号 68瓦30 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{N.Beneš}等人,Lect。注释计算。科学。12652,64-83(2021;Zbl 1474.68210) 全文: DOI程序
Bérenguier,D。;Chaouiya,C。;蒙泰罗,P.T。;A.纳尔迪。;雷米,E。;蒂夫里,D。;蒂奇特,L。 大型细胞调控网络的动态建模和分析。 (英语) Zbl 1331.37134号 混乱 23,第2期,025114,第9页(2013年).MSC公司:37N25号 92立方厘米 92C40型 05C90年 PDF格式BibTeX公司 XML格式引用 \textit{D.Bérenguier}等人,Chaos 23,No.2,025114,9 p.(2013;Zbl 1331.37134) 全文: DOI程序