Abstract Interpretation of Dynamics of Biological Regulatory Networks

Loïc Paulevé, Morgan Magnin, Olivier Roux. Abstract Interpretation of Dynamics of Biological Regulatory Networks. Electronic Notes in Theoretical Computer Science, 272:43-56, 2011. [doi]

Abstract

Abstract is missing.