Context-Sensitive Flow Analyses: A Hierarchy of Model Reductions

Ferdinanda Camporesi, Jérôme Feret, Jonathan Hayman. Context-Sensitive Flow Analyses: A Hierarchy of Model Reductions. In Ashutosh Gupta, Thomas A. Henzinger, editors, Computational Methods in Systems Biology - 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings. Volume 8130 of Lecture Notes in Computer Science, pages 220-233, Springer, 2013. [doi]

Authors

Ferdinanda Camporesi

This author has not been identified. Look up 'Ferdinanda Camporesi' in Google

Jérôme Feret

This author has not been identified. It may be one of the following persons: Look up 'Jérôme Feret' in Google

Jonathan Hayman

This author has not been identified. Look up 'Jonathan Hayman' in Google