Email updates

Keep up to date with the latest news and content from BMC Genomics and BioMed Central.

Download references

This article is part of the supplement: Proceedings of the 6th International Conference of the Brazilian Association for Bioinformatics and Computational Biology (X-meeting 2010)

Open Access Open Badges

Modeling and analysis of cell membrane systems with probabilistic model checking

Mirlaine A Crepalde, Alessandra C Faria-Campos and Sérgio VA Campos*

BMC Genomics 2011, 12(Suppl 4):S14  doi:10.1186/1471-2164-12-S4-S14