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]
@inproceedings{CamporesiFH13,
title = {Context-Sensitive Flow Analyses: A Hierarchy of Model Reductions},
author = {Ferdinanda Camporesi and Jérôme Feret and Jonathan Hayman},
year = {2013},
doi = {10.1007/978-3-642-40708-6_17},
url = {http://dx.doi.org/10.1007/978-3-642-40708-6_17},
researchr = {https://researchr.org/publication/CamporesiFH13},
cites = {0},
citedby = {0},
pages = {220-233},
booktitle = {Computational Methods in Systems Biology - 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings},
editor = {Ashutosh Gupta and Thomas A. Henzinger},
volume = {8130},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-40707-9},
}