|
|||||
|
|
Probabilistic model checking of complex biological pathways |
|
| Authors: | John Heath Marta Kwiatkowska Gethin Norman David Parker Oksana Tymchyshyn |
| Affiliation: | 1. School of Biosciences, University of Birmingham, Edgbaston, Birmingham B15 2TT, United Kingdom;2. Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford OX1 3QD, United Kingdom;3. School of Computer Science, University of Birmingham, Edgbaston, Birmingham B15 2TT, United Kingdom |
| Abstract: | |
| Keywords: | Probabilistic model checking Probabilistic verification Biological pathways Biological modelling |
| 本文献已被 ScienceDirect 等数据库收录！ | |