Author:
Bernot Gilles,Comet Jean-Paul
Publisher
Springer Berlin Heidelberg
Reference29 articles.
1. Ahmad, J., Bourdon, J., Eveillard, J., Fromentin, D., Roux, O., Sinoquet, C.: Temporal constraints of a gene regulatory network: refining a qualitative simulation. Biosystems 98(3), 149–159 (2009)
2. Bernot, G., Comet, J.-P., Khalis, Z.: Gene regulatory networks with multiplexes. In: European Simulation and Modelling Conference Proceedings, France, October 27-29, pp. 423–432 (2008) ISBN 978-90-77381-44-1
3. Bernot, G., Gaudel, M.C., Marre, B.: Software testing based on formal specifications: A theory and a tool. Software Engineering Journal 6(6), 387–405 (1991)
4. Cardelli, L., Caron, E., Gardner, P., Kahramanogulları, O., Phillips, A.: A process model of rho gtp-binding proteins. Theoretical Computer Science 410(33-34), 3166–3185 (2009)
5. Lecture Notes in Computer Science;A. Cimatti,2002
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献