A carregar...
Modeling and analysis of cell membrane systems with probabilistic model checking
BACKGROUND: Recently there has been a growing interest in the application of Probabilistic Model Checking (PMC) for the formal specification of biological systems. PMC is able to exhaustively explore all states of a stochastic model and can provide valuable insight into its behavior which are more d...
Na minha lista:
| Formato: | Artigo |
|---|---|
| Idioma: | en |
| Publicado em: |
BioMed Central
2011
|
| Assuntos: | |
| Acesso em linha: | https://ncbi.nlm.nih.gov/pmc/articles/PMC3287583/ https://ncbi.nlm.nih.gov/pubmed/22369714 https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1186/1471-2164-12-S4-S14 |
| Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|