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]

Possibly Related Publications

The following publications are possibly variants of this publication: