Verifying chemical reaction network implementations: A pathway decomposition approach

出版年份 2017 全文链接

标题

作者

关键词

Chemical reaction networks, Molecular computing, DNA computing, Formal verification, Molecular programming, Automated design

出版物

Volume -, Issue -, Pages -

出版商

Elsevier BV

发表日期

2017-11-01

DOI

10.1016/j.tcs.2017.10.011

联系作者

Explore over 38,000 international journals covering a vast array of academic fields.

Interested in hosting your own webinar? Check the schedule and propose your idea to the Peeref Content Team.

Create Now