Grégory Batt, Damien Bergamini, Hidde de Jong, Hubert Garavel, Radu Mateescu. Model Checking Genetic Regulatory Networks Using GNA and CADP. In Susanne Graf, Laurent Mounier, editors, Model Checking Software, 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings. Volume 2989 of Lecture Notes in Computer Science, pages 158-163, Springer, 2004. [doi]
No references recorded for this publication.
No citations of this publication recorded.