Nathalie Chabrier, François Fages. Model Checking symbolique de réseaux biochimiques. Technique et Science Informatiques, 22(1):155-168, 2003. [doi]
@article{ChabrierF03:1,
title = { Model Checking symbolique de réseaux biochimiques},
author = {Nathalie Chabrier and François Fages},
year = {2003},
url = {http://tsi.revuesonline.com/article.jsp?articleId=4652},
tags = {model checking, meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/ChabrierF03%3A1},
cites = {0},
citedby = {0},
journal = {Technique et Science Informatiques},
volume = {22},
number = {1},
pages = {155-168},
}