Static analysis of Biological Regulatory Networks dynamics using abstract interpretation

Loïc Paulevé, Morgan Magnin, Olivier Roux. Static analysis of Biological Regulatory Networks dynamics using abstract interpretation. Mathematical Structures in Computer Science, 22(4):651-685, 2012. [doi]

Abstract

Abstract is missing.