Formal Proof of Theorems on Genetic Regulatory Networks
Denes, Maxime, Lesage, Binjamin, Bertot, Yves, Richard, Adrien
Published in 2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (01.09.2009)
Published in 2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (01.09.2009)
Get full text
Conference Proceeding