特罗亚克（Troják，Matej）;萨夫拉内克，大卫;卢博什·布里姆;萨拉戈维奇，雅库布;乔尔文，简 用于生化系统规范和分析的可执行生化空间。 （英语） Zbl 1458.92038号 Gupta，Ankit（编辑）等人，《2018年SASB会议记录》，第九届静态分析和系统生物学国际研讨会，德国弗莱堡，2018年8月28日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。350, 91-116 (2020).MSC公司：92立方厘米 92C40型 PDF格式BibTeX公司 XML格式引用 \textit{M.Troják}等人，《电子》。注释Theor。计算。科学。350，91-116（2020；Zbl 1458.92038） 全文： 内政部 arXiv公司
卢卡·卡德利;米尔科·特里巴斯通;Tschaikowski，马克斯;安德烈·范丁 微分等价的符号计算。 （英语） Zbl 1425.68463号 西奥。计算。科学。 777, 132-154 (2019).MSC公司：68瓦30 34立方厘米99 68号30 68问题55 60年第68季度 68问题85 92C40型 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人，Theor。计算。科学。777132-154（2019年；Zbl 1425.68463） 全文： 内政部 链接