Published February 2, 2017
| Version v1
Publication
Towards Probabilistic Model Checking on P Systems Using PRISM
Description
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
Ministerio de Educación y Ciencia TIN2005-09345-C04-01
Abstract
Junta de Andalucía TIC-581
Additional details
- URL
- https://idus.us.es/handle/11441/53537
- URN
- urn:oai:idus.us.es:11441/53537
- Origin repository
- USE