@techreport{
 title = {Model Checking Genetic Regulatory Networks with Applications to Synthetic Biology},
 type = {techreport},
 year = {2006},
 issue = {2006-IR-0030},
 institution = {CISE},
 id = {7dfce189-b945-312b-b81d-7c0f383825a8},
 created = {2017-04-26T09:06:16.124Z},
 file_attached = {false},
 profile_id = {93e9c71a-776d-397a-8da2-55f5d4b0425c},
 group_id = {337127a6-4a46-3af3-a559-f76746200fef},
 last_modified = {2017-04-26T09:06:16.124Z},
 read = {false},
 starred = {false},
 authored = {false},
 confirmed = {true},
 hidden = {false},
 citation_key = {BB06},
 source_type = {techreport},
 bibtype = {techreport},
 author = {Batt, G and Belta, C}
}

{"_id":"axTCcGz77K8me8ih5","bibbaseid":"batt-belta-modelcheckinggeneticregulatorynetworkswithapplicationstosyntheticbiology-2006","downloads":0,"creationDate":"2017-04-26T09:07:48.162Z","title":"Model Checking Genetic Regulatory Networks with Applications to Synthetic Biology","author_short":["Batt, G.","Belta, C."],"year":2006,"bibtype":"techreport","biburl":null,"bibdata":{"title":"Model Checking Genetic Regulatory Networks with Applications to Synthetic Biology","type":"techreport","year":"2006","issue":"2006-IR-0030","institution":"CISE","id":"7dfce189-b945-312b-b81d-7c0f383825a8","created":"2017-04-26T09:06:16.124Z","file_attached":false,"profile_id":"93e9c71a-776d-397a-8da2-55f5d4b0425c","group_id":"337127a6-4a46-3af3-a559-f76746200fef","last_modified":"2017-04-26T09:06:16.124Z","read":false,"starred":false,"authored":false,"confirmed":"true","hidden":false,"citation_key":"BB06","source_type":"techreport","bibtype":"techreport","author":"Batt, G and Belta, C","bibtex":"@techreport{\n title = {Model Checking Genetic Regulatory Networks with Applications to Synthetic Biology},\n type = {techreport},\n year = {2006},\n issue = {2006-IR-0030},\n institution = {CISE},\n id = {7dfce189-b945-312b-b81d-7c0f383825a8},\n created = {2017-04-26T09:06:16.124Z},\n file_attached = {false},\n profile_id = {93e9c71a-776d-397a-8da2-55f5d4b0425c},\n group_id = {337127a6-4a46-3af3-a559-f76746200fef},\n last_modified = {2017-04-26T09:06:16.124Z},\n read = {false},\n starred = {false},\n authored = {false},\n confirmed = {true},\n hidden = {false},\n citation_key = {BB06},\n source_type = {techreport},\n bibtype = {techreport},\n author = {Batt, G and Belta, C}\n}","author_short":["Batt, G.","Belta, C."],"bibbaseid":"batt-belta-modelcheckinggeneticregulatorynetworkswithapplicationstosyntheticbiology-2006","role":"author","urls":{},"downloads":0},"search_terms":["model","checking","genetic","regulatory","networks","applications","synthetic","biology","batt","belta"],"keywords":[],"authorIDs":[]}