Biosensors Characterization: Formal methods from the Perspective of Proteome Fractions
Nicolás A. Vaccari, Dahlin Zevallos-Aliaga, Tom Peeters, Daniel G. Guerra
The paper introduces formal methods to characterize regulatory circuits by analyzing proteome fractions and demonstrates their application to biosensors.
Synthetic Biology · Jan 1, 2025Peer-reviewedSynthetic Biology