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]
@inproceedings{WangMTC15,
title = {Formal Analysis Provides Parameters for Guiding Hyperoxidation in Bacteria using Phototoxic Proteins},
author = {Qinsi Wang and Natasa Miskov-Zivanov and Cheryl Telmer and Edmund M. Clarke},
year = {2015},
doi = {10.1145/2742060.2743762},
url = {http://doi.acm.org/10.1145/2742060.2743762},
researchr = {https://researchr.org/publication/WangMTC15},
cites = {0},
citedby = {0},
pages = {315-320},
booktitle = {Proceedings of the 25th edition on Great Lakes Symposium on VLSI, GLVLSI 2015, Pittsburgh, PA, USA, May 20 - 22, 2015},
editor = {Alex K. Jones and Hai Helen Li and Ayse Kivilcim Coskun and Martin Margala},
publisher = {ACM},
isbn = {978-1-4503-3474-7},
}