Publisher
Springer Berlin Heidelberg
Reference60 articles.
1. Alur, R., Belta, C., Kumar, V., Mintz, M., Pappas, G.J., Rubin, H., Schug, J.: Modeling and Analyzing Biomolecular Networks. Computing in Science and Engineering 4(1), 20–31 (2002)
2. Alur, R., Courcoubetis, C., Dill, D.: Model-Checking for Real-Time Systems. In: International Symposium on Logic in Computer Science, vol. 5, pp. 414–425. IEEE Computer Press, Los Alamitos (1990)
3. Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T.A., Ho, P.-H., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The Algorithmic Analysis of Hybrid Systems. Theoretical Computer Science 138(1), 3–34 (1995)
4. Lecture Notes in Computer Science;R. Alur,2002
5. Lecture Notes in Computer Science;R. Alur,2003
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The best models of metabolism;WIREs Systems Biology and Medicine;2017-05-19
2. Algebraic Statistics and Methods in Systems Biology;Handbook of Statistical Systems Biology;2011-09-12