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.
Abstract is missing.