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]
Abstract is missing.