尼古拉·贝内什;卢博什·布里姆;塞缪尔·帕斯特瓦;Šafránek，大卫 基于BDD的边色图SCC分解算法。 （英语） 兹比尔07566051 日志。方法计算。科学。 18，第1号，第38号论文，第27页（2022年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{N.Beneš}等人，《日志》。方法计算。科学。18，第1号，第38号论文，第27页（2022；Zbl 07566051） 全文： arXiv公司 链接
尼古拉·贝内什;卢博什·布里姆;塞缪尔·帕斯特瓦;Šafránek，大卫 符号彩色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） 全文： 内政部
尼古拉·贝内什;卢博什·布里姆;塞缪尔·帕斯特瓦;Šafránek，大卫 互联网拥塞控制协议的数字分叉分析。 （英语） Zbl 1453.93141号 国际分叉混沌应用杂志。科学。工程师。 30，第13号，文章ID 2030038，18 p.（2020）.MSC公司：93元62角 93C83号 93B70型 93B52号 PDF格式BibTeX公司 XML格式引用 \textit{N.Beneš}等人，《国际分叉混沌应用》。科学。Eng.30，No.13，文章ID 2030038，18 p.（2020；Zbl 1453.93141） 全文： 内政部