Formal Proof of Theorems on Genetic Regulatory Networks

Maxime Dénès, Benjamin Lesage, Yves Bertot, Adrien Richard. Formal Proof of Theorems on Genetic Regulatory Networks. In Stephen M. Watt, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Daniela Zaharie, editors, 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009. pages 69-76, IEEE Computer Society, 2009. [doi]

@inproceedings{DenesLBR09,
  title = {Formal Proof of Theorems on Genetic Regulatory Networks},
  author = {Maxime Dénès and Benjamin Lesage and Yves Bertot and Adrien Richard},
  year = {2009},
  doi = {10.1109/SYNASC.2009.44},
  url = {http://doi.ieeecomputersociety.org/10.1109/SYNASC.2009.44},
  researchr = {https://researchr.org/publication/DenesLBR09},
  cites = {0},
  citedby = {0},
  pages = {69-76},
  booktitle = {11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009},
  editor = {Stephen M. Watt and Viorel Negru and Tetsuo Ida and Tudor Jebelean and Dana Petcu and Daniela Zaharie},
  publisher = {IEEE Computer Society},
  isbn = {978-1-4244-5910-0},
}