Formal Semantics and Verification of Network-Based Biocomputation Circuits.

Michelle Aluf-Medina, Till Korten, Avraham Raviv, Dan V. Nicolau Jr., Hillel Kugler

Browse the full VMCAI paper archive.