Special issue: Foundations of formal reconstruction of biochemical networks. Three selected papers based on the presentations at the 6th international conference on computational methods in systems biology (CMSB 2008), Rostock/Warnemünde, Germany, Octobe
Systems biology, networks (92C42) Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
- Computational methods in systems biology. 6th international conference, CMSB 2008, Rostock, Germany, October 12--15, 2008. Proceedings
- Special issue: Selected papers from the 7th international conference on computational methods in systems biology (CMSB 2009), Bologna, Italy, August 31st--September 1st, 2009.
- Special issue: Selected papers based on the presentations at the international conference on computational methods in system biology, Edinburgh, Scotland, September 2007
- Special issue: Computational systems biology. Extended versions of selected papers of the international workshop, Rovereto, Italy, February 24--26, 2003.
- scientific article; zbMATH DE number 6416648
- Formal methods in systems biology. First international workshop, FMSB 2008, Cambridge, UK, June 4--5, 2008. Proceedings
- Special issue: Converging sciences: Informatics and biology. Selected papers based on the presentations at the conference on computational methods in systems biology 2006, Trento, Italy, October 18--19, 2006.
- Computational methods in systems biology. International conference, CMSB 2006, Trento, Italy, October 18--19, 2006. Proceedings
- Special issue: CompBioNets 2004. Selected papers based on the presentations at the conference `Algorithms and computational methods for biochemical and evolutionary networks', Recife, Brazil, December 2004.
- Formal methods for computational systems biology. 8th international school on formal methods for the design of computer, communication, and software systems, SFM 2008 Bertinoro, Italy, June 2--7, 2008. Advanced lectures
This page was built for publication: Special issue: Foundations of formal reconstruction of biochemical networks. Three selected papers based on the presentations at the 6th international conference on computational methods in systems biology (CMSB 2008), Rostock/Warnemünde, Germany, Octobe
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q593241)
