@inProceedings{
 title = {Model checking liveness properties of genetic regulatory networks},
 type = {inProceedings},
 year = {2007},
 pages = {323-338},
 volume = {4424},
 publisher = {Springer},
 series = {LNCS},
 id = {6c10a02c-1560-34fe-ab98-09c8632c7ddc},
 created = {2017-04-26T09:06:17.399Z},
 file_attached = {false},
 profile_id = {93e9c71a-776d-397a-8da2-55f5d4b0425c},
 group_id = {337127a6-4a46-3af3-a559-f76746200fef},
 last_modified = {2017-04-26T09:06:17.399Z},
 read = {false},
 starred = {false},
 authored = {false},
 confirmed = {true},
 hidden = {false},
 citation_key = {BBW07},
 source_type = {inproceedings},
 bibtype = {inProceedings},
 author = {Batt, G and Belta, C and Weiss, R},
 booktitle = {TACAS'07}
}

{"_id":"AHaXaH7xnK6fFdwqH","bibbaseid":"batt-belta-weiss-modelcheckinglivenesspropertiesofgeneticregulatorynetworks-2007","downloads":0,"creationDate":"2017-04-26T09:07:48.183Z","title":"Model checking liveness properties of genetic regulatory networks","author_short":["Batt, G.","Belta, C.","Weiss, R."],"year":2007,"bibtype":"inProceedings","biburl":null,"bibdata":{"title":"Model checking liveness properties of genetic regulatory networks","type":"inProceedings","year":"2007","pages":"323-338","volume":"4424","publisher":"Springer","series":"LNCS","id":"6c10a02c-1560-34fe-ab98-09c8632c7ddc","created":"2017-04-26T09:06:17.399Z","file_attached":false,"profile_id":"93e9c71a-776d-397a-8da2-55f5d4b0425c","group_id":"337127a6-4a46-3af3-a559-f76746200fef","last_modified":"2017-04-26T09:06:17.399Z","read":false,"starred":false,"authored":false,"confirmed":"true","hidden":false,"citation_key":"BBW07","source_type":"inproceedings","bibtype":"inProceedings","author":"Batt, G and Belta, C and Weiss, R","booktitle":"TACAS'07","bibtex":"@inProceedings{\n title = {Model checking liveness properties of genetic regulatory networks},\n type = {inProceedings},\n year = {2007},\n pages = {323-338},\n volume = {4424},\n publisher = {Springer},\n series = {LNCS},\n id = {6c10a02c-1560-34fe-ab98-09c8632c7ddc},\n created = {2017-04-26T09:06:17.399Z},\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:17.399Z},\n read = {false},\n starred = {false},\n authored = {false},\n confirmed = {true},\n hidden = {false},\n citation_key = {BBW07},\n source_type = {inproceedings},\n bibtype = {inProceedings},\n author = {Batt, G and Belta, C and Weiss, R},\n booktitle = {TACAS'07}\n}","author_short":["Batt, G.","Belta, C.","Weiss, R."],"bibbaseid":"batt-belta-weiss-modelcheckinglivenesspropertiesofgeneticregulatorynetworks-2007","role":"author","urls":{},"downloads":0},"search_terms":["model","checking","liveness","properties","genetic","regulatory","networks","batt","belta","weiss"],"keywords":[],"authorIDs":[]}