尼古拉·贝内什;卢博什·布里姆;塞缪尔·帕斯特瓦;萨夫拉内克,大卫 Aeon 2021:布尔网络中的分歧决策树。 (英语) 兹比尔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) 全文: 内政部
布里姆·L。;德卢霍什,P。;萨夫拉内克,D。;Vejpustek,T。 STL*:使用信号值冻结运算符扩展信号时序逻辑。 (英语) Zbl 1311.68085号 Inf.计算。 236, 52-67 (2014).MSC公司:60年第68季度 92B25型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{L.Brim}等人,《信息计算》。23652--67(2014年;Zbl 1311.68085) 全文: 内政部
卢博什·布里姆;科什卡,米兰;萨夫拉内克,大卫 生物系统的模型检查。 (英语) 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;Zbl 1380.92024) 全文: 内政部