@inproceedings{gallet_adapting_2014,
	title = {Adapting {LTL} model checking for inferring biological parameters},
	booktitle = {Proc. {Approches} {Formelles} dans l'{Assistance} au {Développement} de {Logiciels} ({AFADL})},
	author = {Gallet, E. and Manceny, M. and Gall, P. Le and Ballarini, P.},
	year = {2014},
	pages = {46--60}
}

{"_id":"5jxQxL2CDM7eos5KP","bibbaseid":"gallet-manceny-gall-ballarini-adaptingltlmodelcheckingforinferringbiologicalparameters-2014","downloads":0,"creationDate":"2017-04-26T09:42:30.892Z","title":"Adapting LTL model checking for inferring biological parameters","author_short":["Gallet, E.","Manceny, M.","Gall, P. L.","Ballarini, P."],"year":2014,"bibtype":"inproceedings","biburl":"https://api.zotero.org/users/3976403/collections/P7DICT6R/items?key=6NJtQ61e3JQi9GsiAyb5jbiT&format=bibtex&limit=100","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Adapting LTL model checking for inferring biological parameters","booktitle":"Proc. Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL)","author":[{"propositions":[],"lastnames":["Gallet"],"firstnames":["E."],"suffixes":[]},{"propositions":[],"lastnames":["Manceny"],"firstnames":["M."],"suffixes":[]},{"propositions":[],"lastnames":["Gall"],"firstnames":["P.","Le"],"suffixes":[]},{"propositions":[],"lastnames":["Ballarini"],"firstnames":["P."],"suffixes":[]}],"year":"2014","pages":"46--60","bibtex":"@inproceedings{gallet_adapting_2014,\n\ttitle = {Adapting {LTL} model checking for inferring biological parameters},\n\tbooktitle = {Proc. {Approches} {Formelles} dans l'{Assistance} au {Développement} de {Logiciels} ({AFADL})},\n\tauthor = {Gallet, E. and Manceny, M. and Gall, P. Le and Ballarini, P.},\n\tyear = {2014},\n\tpages = {46--60}\n}\n\n","author_short":["Gallet, E.","Manceny, M.","Gall, P. L.","Ballarini, P."],"key":"gallet_adapting_2014","id":"gallet_adapting_2014","bibbaseid":"gallet-manceny-gall-ballarini-adaptingltlmodelcheckingforinferringbiologicalparameters-2014","role":"author","urls":{},"downloads":0},"search_terms":["adapting","ltl","model","checking","inferring","biological","parameters","gallet","manceny","gall","ballarini"],"keywords":[],"authorIDs":[],"dataSources":["sJdSWnFGnfqAtxERB"]}