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]
Abstract is missing.