A Model Checking Approach to the Parameter Estimation of Biochemical Pathways

Robin Donaldson, David Gilbert. A Model Checking Approach to the Parameter Estimation of Biochemical Pathways. In Monika Heiner, Adelinde M. Uhrmacher, editors, Computational Methods in Systems Biology, 6th International Conference, CMSB 2008, Rostock, Germany, October 12-15, 2008. Proceedings. Volume 5307 of Lecture Notes in Computer Science, pages 269-287, Springer, 2008. [doi]

Authors

Robin Donaldson

This author has not been identified. Look up 'Robin Donaldson' in Google

David Gilbert

This author has not been identified. Look up 'David Gilbert' in Google