Adapting LTL model checking for inferring biological parameters. Gallet, E., Manceny, M., Le Gall, P., & Ballarini, P. In Proc. Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), pages 46-60, 2014. bibtex @inProceedings{
title = {Adapting LTL model checking for inferring biological parameters},
type = {inProceedings},
year = {2014},
pages = {46-60},
id = {aa99dda2-7410-38a4-82ee-181c0f8f351d},
created = {2017-04-26T09:06:21.576Z},
file_attached = {false},
profile_id = {93e9c71a-776d-397a-8da2-55f5d4b0425c},
group_id = {337127a6-4a46-3af3-a559-f76746200fef},
last_modified = {2017-04-26T09:06:21.576Z},
read = {false},
starred = {false},
authored = {false},
confirmed = {true},
hidden = {false},
citation_key = {BalAFADL},
source_type = {inproceedings},
bibtype = {inProceedings},
author = {Gallet, E and Manceny, M and Le Gall, P and Ballarini, P},
booktitle = {Proc. Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL)}
}
Downloads: 0
{"_id":"Q2C3viiuuPSH7vPYo","bibbaseid":"gallet-manceny-legall-ballarini-adaptingltlmodelcheckingforinferringbiologicalparameters-2014","downloads":0,"creationDate":"2017-04-26T09:07:48.301Z","title":"Adapting LTL model checking for inferring biological parameters","author_short":["Gallet, E.","Manceny, M.","Le Gall, P.","Ballarini, P."],"year":2014,"bibtype":"inProceedings","biburl":null,"bibdata":{"title":"Adapting LTL model checking for inferring biological parameters","type":"inProceedings","year":"2014","pages":"46-60","id":"aa99dda2-7410-38a4-82ee-181c0f8f351d","created":"2017-04-26T09:06:21.576Z","file_attached":false,"profile_id":"93e9c71a-776d-397a-8da2-55f5d4b0425c","group_id":"337127a6-4a46-3af3-a559-f76746200fef","last_modified":"2017-04-26T09:06:21.576Z","read":false,"starred":false,"authored":false,"confirmed":"true","hidden":false,"citation_key":"BalAFADL","source_type":"inproceedings","bibtype":"inProceedings","author":"Gallet, E and Manceny, M and Le Gall, P and Ballarini, P","booktitle":"Proc. Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL)","bibtex":"@inProceedings{\n title = {Adapting LTL model checking for inferring biological parameters},\n type = {inProceedings},\n year = {2014},\n pages = {46-60},\n id = {aa99dda2-7410-38a4-82ee-181c0f8f351d},\n created = {2017-04-26T09:06:21.576Z},\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:21.576Z},\n read = {false},\n starred = {false},\n authored = {false},\n confirmed = {true},\n hidden = {false},\n citation_key = {BalAFADL},\n source_type = {inproceedings},\n bibtype = {inProceedings},\n author = {Gallet, E and Manceny, M and Le Gall, P and Ballarini, P},\n booktitle = {Proc. Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL)}\n}","author_short":["Gallet, E.","Manceny, M.","Le Gall, P.","Ballarini, P."],"bibbaseid":"gallet-manceny-legall-ballarini-adaptingltlmodelcheckingforinferringbiologicalparameters-2014","role":"author","urls":{},"downloads":0},"search_terms":["adapting","ltl","model","checking","inferring","biological","parameters","gallet","manceny","le gall","ballarini"],"keywords":[],"authorIDs":[]}