尼古拉·贝内什;卢博什·布里姆;塞缪尔·帕斯特瓦;萨夫拉内克，大卫 Aeon 2021：布尔网络中的分支决策树。 （英语） Zbl 1491.92059号 Cinquemani，Eugenio（编辑）等人，《系统生物学中的计算方法》。第19届国际会议，CMSB 2021，波尔多，法国，2021年9月22日至24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12881, 230-237 (2021).MSC公司：92立方厘米 92-04 PDF格式BibTeX公司 XML格式引用 \textit{N.Beneš}等人，Lect。注释计算。科学。12881，230-237（2021；Zbl 1491.92059） 全文： 内政部
JiříBarnat;彼得·鲍赫;尼古拉·贝内什;卢博什·布里姆;简·伯兰;托马斯·克拉托奇维拉 分析航空电子系统需求的健全性。 （英语） Zbl 1335.68131号 正式Asp。计算。 28，第1号，45-63（2016）.MSC公司：60年第68季度 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{J.Barnat}等人，《形式语法》。计算。28，第1号，45-63（2016；Zbl 1335.68131） 全文： 内政部 arXiv公司
卢博什·布里姆;科什卡，米兰;萨夫拉内克，大卫 生物系统的模型检查。 （英语） Zbl 1380.92024号 Bernardo，Marco（编辑）等人，动力系统的形式化方法。2013年6月17日至22日，意大利贝蒂诺罗，第13所计算机、通信和软件系统正式设计方法国际学校，SFM 2013。高级讲座。柏林：施普林格出版社（ISBN 978-3-642-38873-6/pbk）。计算机科学课堂讲稿7938，63-112（2013）。MSC公司：92立方厘米 60年第68季度 92-08 PDF格式BibTeX公司 XML格式引用 \textit{L.Brim}等人，Lect。注释计算。科学。7938，63-112（2013年；兹bl 1380.92024） 全文： 内政部