Subject
Electrical and Electronic Engineering,Applied Mathematics,Computer Networks and Communications
Reference20 articles.
1. Modeling and querying biomolecular interaction networks;Chabrier-Rivier;Theoret. Comput. Sci.,2004
2. Model Checking;Clarke,2000
3. Multi-scale modelling of biological systems in process algebra with multi-way synchronisation;Degasperi,2011
4. Theory of generalized annotated logic programming and its applications;Kifer;J. Log. Program.,1992
5. Multiscale system modeling of biochemical pathways;Ghosh,2014
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献