Author:
Van Goethem S.,Jacquet J.-M.,Brim L.,Šafránek D.
Subject
General Computer Science,Theoretical Computer Science
Reference21 articles.
1. An inverse method for parametric timed automata;Andréa;Electron. Notes Theor. Comput. Sci.,2008
2. Model checking liveness properties of genetic regulatory networks;Batt,2007
3. On timed models of gene networks;Batt,2007
4. Uppaal - Present and Future;Behrmann,2001
5. Application of formal methods to biological regulatory networks: Extending thomasʼ asynchronous logical approach with temporal logic;Bernot;Journal of Theoretical Biology,2004
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献