Author:
Streck Adam,Thobe Kirsten,Siebert Heike
Publisher
Springer International Publishing
Reference11 articles.
1. Baier, C., Katoen, J.-P.: Principles of Model Checking. The MIT Press, Cambridge (2008)
2. Feng, Z., Levine, A.J.: The regulation of energy metabolism and the igf-1/mtor pathways by the p53 protein. Trends Cell Biol. 20(7), 427–434 (2010)
3. Lecture Notes in Computer Science;E Gallet,2014
4. Guziolowski, C., Videla, S., Eduati, F., Thiele, S., Cokelaer, T., Siegel, A., Saez-Rodriguez, J.: Exhaustively characterizing feasible logic models of a signaling network using answer set programming. Bioinformatics 29, 2320–2326 (2013)
5. Huth, M., Ryan, M.: Logic in Computer Science: Modelling and reasoning about systems. Cambridge University Press, Cambridge (2004)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献