{"_id":"eM6pdEWAopizsFBh4","bibbaseid":"karthik-soloveichik-ray-sterin-mishchenko-brayton-roychowdhury-ninjabooleanmodellingandformalverificationoftieredratechemicalreactionnetworksextendedabstract-2014","author_short":["Karthik, A. V.","Soloveichik, D.","Ray, S.","Sterin, B.","Mishchenko, A.","Brayton, R.","Roychowdhury, J."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","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":[{"propositions":[],"lastnames":["Karthik"],"firstnames":["Aadithya","V."],"suffixes":[]},{"propositions":[],"lastnames":["Soloveichik"],"firstnames":["David"],"suffixes":[]},{"propositions":[],"lastnames":["Ray"],"firstnames":["Sayak"],"suffixes":[]},{"propositions":[],"lastnames":["Sterin"],"firstnames":["Baruch"],"suffixes":[]},{"propositions":[],"lastnames":["Mishchenko"],"firstnames":["Alan"],"suffixes":[]},{"propositions":[],"lastnames":["Brayton"],"firstnames":["Robert"],"suffixes":[]},{"propositions":[],"lastnames":["Roychowdhury"],"firstnames":["Jaijeet"],"suffixes":[]}],"year":"2014","pages":"623–624","bibtex":"@inproceedings{karthik_ninja_2014,\n\ttitle = {{NINJA}: boolean modelling and formal verification of tiered-rate chemical reaction networks (extended abstract)},\n\tdoi = {10/gh25wd},\n\tbooktitle = {Proceedings of the 5th {ACM} {Conference} on {Bioinformatics}, {Computational} {Biology}, and {Health} {Informatics}},\n\tauthor = {Karthik, Aadithya V. and Soloveichik, David and Ray, Sayak and Sterin, Baruch and Mishchenko, Alan and Brayton, Robert and Roychowdhury, Jaijeet},\n\tyear = {2014},\n\tpages = {623--624},\n}\n\n","author_short":["Karthik, A. V.","Soloveichik, D.","Ray, S.","Sterin, B.","Mishchenko, A.","Brayton, R.","Roychowdhury, J."],"key":"karthik_ninja_2014","id":"karthik_ninja_2014","bibbaseid":"karthik-soloveichik-ray-sterin-mishchenko-brayton-roychowdhury-ninjabooleanmodellingandformalverificationoftieredratechemicalreactionnetworksextendedabstract-2014","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":[],"search_terms":["ninja","boolean","modelling","formal","verification","tiered","rate","chemical","reaction","networks","extended","abstract","karthik","soloveichik","ray","sterin","mishchenko","brayton","roychowdhury"],"title":"NINJA: boolean modelling and formal verification of tiered-rate chemical reaction networks (extended abstract)","year":2014}