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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.