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 QIDQ593241
Author name not available (Why is that?)
Publication date: 14 June 2011
Published in: Theoretical Computer Science (Search for Journal in Brave)
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) Systems biology, networks (92C42)
Related Items (1)
Recommendations
- Title not available (Why is that?) ๐ ๐
- Special issue: Selected papers from the 7th international conference on computational methods in systems biology (CMSB 2009), Bologna, Italy, August 31st--September 1st, 2009. ๐ ๐
- Computational methods in systems biology. International conference, CMSB 2006, Trento, Italy, October 18--19, 2006. Proceedings ๐ ๐
- 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 ๐ ๐
- 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. ๐ ๐
- 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. ๐ ๐
- Computational methods in systems biology. 6th international conference, CMSB 2008, Rostock, Germany, October 12--15, 2008. Proceedings ๐ ๐
- 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. ๐ ๐
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)