Author:
Haar Stefan,Kolčák Juraj,Paulevé Loïc
Publisher
Springer International Publishing
Reference24 articles.
1. Bartocci, E., Lió, P.: Computational modeling, formal analysis, and tools for systems biology. PLOS Comput. Biol. 12(1), 1–22 (2016).
https://doi.org/10.1371/journal.pcbi.1004591
2. Bernot, G., Comet, J.-P., Khalis, Z.: Gene regulatory networks with multiplexes. In: European Simulation and Modelling Conference Proceedings, pp. 423–432 (2008)
3. Bernot, G., Comet, J.-P., Khalis, Z., Richard, A., Roux, O.: A genetically modified hoare logic. Theor. Comput. Sci. (2018).
https://doi.org/10.1016/j.tcs.2018.02.003
4. Bernot, G., Cassez, F., Comet, J.-P., Delaplace, F., Müller, C., Roux, O.: Semantics of biological regulatory networks. Electron. Notes Theor. Comput. Sci. 180(3), 3–14 (2007).
https://doi.org/10.1016/j.entcs.2004.01.038
5. Lecture Notes in Computer Science;T Chatain,2016