詹姆斯·拉思罗普。;杰克·H·卢茨。;罗宾·卢茨。;休·D·波特。;马修·莱利。 布居诱导相变和化学反应网络的验证。 （英语） Zbl 07756099号 Geary，Cody（编辑）等人，第26届DNA计算和分子编程国际会议。DNA 262020年9月14日至17日，英国牛津，虚拟会议。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。174，第5条，第17页（2020）。MSC公司：2007年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛J.I.Lathrop｝等人，《LIPIcs——莱布尼茨国际期刊》。通知。174，第5条，第17页（2020；Zbl 07756099） 全文： 内政部 arXiv公司
保罗·盖纳;斯文·林杰;克莱尔·迪克森;乌尔里希Hustadt;迈克尔·费希尔 分布式同步的多尺度验证。 （英语） Zbl 1506.68009号 形式方法系统。设计。 55，第3期，171-221（2020）.MSC公司：68米14 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Gainer}等人，《形式方法系统》。设计。55，第3号，171--221（2020；Zbl 1506.68009） 全文： 内政部 arXiv公司
罗伯特·布里德 化学反应网络计算：教程。 （英语） Zbl 1530.68079号 自然计算。 18，第1期，119-137（2019）.MSC公司：2007年第68季度 2010年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Brijder}，自然计算。18，第1号，119--137（2019；Zbl 1530.68079） 全文： 内政部 arXiv公司 链接
卢卡·卡德利;玛尔塔·奎亚特科夫斯卡;马克斯·惠特比 异步逻辑电路的化学反应网络设计。 （英语） Zbl 1528.68112号 自然计算。 17，第1号，109-130（2018）.MSC公司：2007年第68季度 2006年第68季度 94C11号机组 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人，《自然计算》。17，第1号，109--130（2018；Zbl 1528.68112） 全文： 内政部