@收款{zbMATH07410651，作者={Aluf-Medina、Michelle和Korten、Till和Raviv、Avraham和Nicolau、Dan V.jun.和Kugler，Hillel}，Title＝{基于网络的生物计算电路的形式语义和验证}，BookTitle={验证、模型检查和抽象解释。第22届国际会议，VMCAI 2021，哥本哈根，丹麦，2021年1月17日至19日。诉讼}，国际标准图书编号={978-3-030-67066-5；978-3-0.30-67067-2}，页码={464--485}，年份={2021}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-030-67067-2_21}，关键词={68Q07,68Q06,68Q55,68Q60}，zbMATH={7410651}，Zbl={1472.68057}}