Sign in
Formal Analysis Provides Parameters for Guiding Hyperoxidation in Bacteria using Phototoxic Proteins.
Qinsi Wang
Natasa Miskov-Zivanov
Cheryl Telmer
Edmund M. Clarke
Published in:
ACM Great Lakes Symposium on VLSI (2015)
Keyphrases
</>
formal analysis
maximum likelihood
formal methods
protein structure
artificial intelligence
databases
building blocks
agent model