Back to Search
Start Over
Towards Probabilistic Model Checking on P Systems Using PRISM.
- Source :
- Membrane Computing (9783540690887); 2006, p477-495, 19p
- Publication Year :
- 2006
-
Abstract
- This paper presents the use of P systems and π-calculus to model interacting molecular entities and how they are translated into a probabilistic and symbolic model checker called PRISM. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISBNs :
- 9783540690887
- Database :
- Supplemental Index
- Journal :
- Membrane Computing (9783540690887)
- Publication Type :
- Book
- Accession number :
- 32889556
- Full Text :
- https://doi.org/10.1007/11963516_30