TY  - RPRT
TI  - From Specification to Implementation: Assume-Guarantee Contracts for Synthetic Biology
AU  - Pandey, A.
AU  - Incer, I.
AU  - Sangiovanni-Vincentelli, A.
AU  - Murray, R. M.
PY  - 2022
DO  - 10.1101/2022.04.08.487709
UR  - https://www.biorxiv.org/content/10.1101/2022.04.08.487709v1
ID  - 10.1101/2022.04.08.487709
ER  -