NINJA: boolean modelling and formal verification of tiered-rate chemical reaction networks (extended abstract). Karthik, A. V., Soloveichik, D., Ray, S., Sterin, B., Mishchenko, A., Brayton, R., & Roychowdhury, J. In Proceedings of the 5th ACM Conference on Bioinformatics, Computational Biology, and Health Informatics, pages 623–624, 2014.
doi  bibtex   
@inproceedings{karthik_ninja_2014,
	title = {{NINJA}: boolean modelling and formal verification of tiered-rate chemical reaction networks (extended abstract)},
	doi = {10/gh25wd},
	booktitle = {Proceedings of the 5th {ACM} {Conference} on {Bioinformatics}, {Computational} {Biology}, and {Health} {Informatics}},
	author = {Karthik, Aadithya V. and Soloveichik, David and Ray, Sayak and Sterin, Baruch and Mishchenko, Alan and Brayton, Robert and Roychowdhury, Jaijeet},
	year = {2014},
	pages = {623--624},
}

Downloads: 0