Ecosyste.ms: Papers
An open API service providing mapping between scientific papers and software projects that are mentioned in them.
All mentions data is based on the CZI Software Mentions dataset.
Papers: 10.1007/978-3-030-67067-2_21
https://doi.org/10.1007/978-3-030-67067-2_21
Formal Semantics and Verification of Network-Based Biocomputation Circuits
Cited by: 5
Author(s): Michelle Aluf-Medina, Till Korten, Avraham Raviv, Dan V. Nicolau, Hillel Kugler
Published: almost 4 years ago