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
zbMATH Open1217.68010MaRDI QIDQ593241FDOQ593241
Authors:
Publication date: 14 June 2011
Published in: Theoretical Computer Science (Search for Journal in Brave)
Recommendations
- 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
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)
Cited In (1)
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)
