|
|||||
|
|
Modeling and analysis of cell membrane systems with probabilistic model checking |
|
| Authors: | Crepalde Mirlaine A Faria-Campos Alessandra C Campos Sérgio V A |
| Affiliation: | Department of Computer Science, Federal University of Minas Gerais, Av. Ant?nio Carlos 6627, Belo Horizonte, MG, Brazil. |
| Abstract: | |
| Keywords: | |
| 本文献已被 PubMed 等数据库收录！ | |