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]
@inproceedings{BattBJGM04,
title = {Model Checking Genetic Regulatory Networks Using GNA and CADP},
author = {Grégory Batt and Damien Bergamini and Hidde de Jong and Hubert Garavel and Radu Mateescu},
year = {2004},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2989&spage=158},
tags = {model checking, meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/BattBJGM04},
cites = {0},
citedby = {0},
pages = {158-163},
booktitle = {Model Checking Software, 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings},
editor = {Susanne Graf and Laurent Mounier},
volume = {2989},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-21314-7},
}