Formal Analysis Provides Parameters for Guiding Hyperoxidation in Bacteria using Phototoxic Proteins - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Qinsi Wang, Natasa Miskov-Zivanov, Cheryl Telmer, Edmund M. Clarke. Formal Analysis Provides Parameters for Guiding Hyperoxidation in Bacteria using Phototoxic Proteins. In Alex K. Jones, Hai Helen Li, Ayse Kivilcim Coskun, Martin Margala, editors, Proceedings of the 25th edition on Great Lakes Symposium on VLSI, GLVLSI 2015, Pittsburgh, PA, USA, May 20 - 22, 2015. pages 315-320, ACM, 2015. [doi]

This author has not been identified. Look up 'Qinsi Wang' in GoogleThis author has not been identified. Look up 'Natasa Miskov-Zivanov' in GoogleThis author has not been identified. Look up 'Cheryl Telmer' in GoogleThis author has not been identified. Look up 'Edmund M. Clarke' in Google

runs on WebDSL