%0 Conference Paper %1 conf/cmsb/DonaldsonG08 %A Donaldson, Robin %A Gilbert, David R. %B CMSB %D 2008 %E Heiner, Monika %E Uhrmacher, Adelinde M. %I Springer %K %P 269-287 %T A Model Checking Approach to the Parameter Estimation of Biochemical Pathways. %U http://dblp.uni-trier.de/db/conf/cmsb/cmsb2008.html#DonaldsonG08 %V 5307 %@ 978-3-540-88561-0

@inproceedings{conf/cmsb/DonaldsonG08, added-at = {2023-12-14T14:24:16.000+0100}, author = {Donaldson, Robin and Gilbert, David R.}, biburl = {https://www.bibsonomy.org/bibtex/2ae035b3029b680b7d9bc12ecdae20b8b/admin}, booktitle = {CMSB}, crossref = {conf/cmsb/2008}, editor = {Heiner, Monika and Uhrmacher, Adelinde M.}, ee = {https://doi.org/10.1007/978-3-540-88562-7_20}, interhash = {df5ac9c0f96738cb42c9c367f382f8f3}, intrahash = {ae035b3029b680b7d9bc12ecdae20b8b}, isbn = {978-3-540-88561-0}, keywords = {}, pages = {269-287}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-14T14:24:16.000+0100}, title = {A Model Checking Approach to the Parameter Estimation of Biochemical Pathways.}, url = {http://dblp.uni-trier.de/db/conf/cmsb/cmsb2008.html#DonaldsonG08}, volume = 5307, year = 2008 }