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]
No references recorded for this publication.
No citations of this publication recorded.