尼古拉·贝内什；卢博什·布里姆；塞缪尔·帕斯特瓦；萨夫拉内克，大卫 符号彩色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年；兹比尔1474.68210） 全文： 内政部
卢博什·布里姆；科什卡，米兰；萨夫拉内克，大卫 生物系统的模型检查。 （英语） 兹比尔1380.92024 Bernardo，Marco（编辑）等人，动力系统的形式化方法。2013年6月17日至22日，意大利贝蒂诺罗，第13所计算机、通信和软件系统正式设计方法国际学校，SFM 2013。高级讲座。柏林：施普林格出版社（ISBN 978-3-642-38873-6/pbk）。计算机科学课堂讲稿7938，63-112（2013）。MSC公司：92立方厘米 第68季度第60季度 92-08 PDF格式BibTeX公司 XML格式引用 \textit{L.Brim}等人，Lect。票据计算。科学。7938，63-112（2013；Zbl 1380.92024） 全文： 内政部