dc.creator | Romero Campero, Francisco José | es |
dc.creator | Gheorghe, Marian | es |
dc.creator | Bianco, Luca | es |
dc.creator | Pescini, Dario | es |
dc.creator | Pérez Jiménez, Mario de Jesús | es |
dc.creator | Ceterchi, Rodica | es |
dc.date.accessioned | 2017-02-02T11:10:35Z | |
dc.date.available | 2017-02-02T11:10:35Z | |
dc.date.issued | 2006 | |
dc.identifier.citation | Romero Campero, F.J., Gheorghe, M.,...,Ceterchi, R. (2006). Towards Probabilistic Model Checking on P Systems Using PRISM. En Membrane Computing. WMC 2006. Lecture Notes in Computer Science, vol 4361 (pp. 477-495). Berlin: Springer. | |
dc.identifier.isbn | 978-3-540-69088-7 | es |
dc.identifier.issn | 0302-9743 | es |
dc.identifier.uri | http://hdl.handle.net/11441/53537 | |
dc.description.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. | es |
dc.description.sponsorship | Ministerio de Educación y Ciencia TIN2005-09345-C04-01 | |
dc.description.sponsorship | Junta de Andalucía TIC-581 | |
dc.format | application/pdf | es |
dc.language.iso | eng | es |
dc.publisher | Springer | es |
dc.relation.ispartof | Membrane Computing. WMC 2006. Lecture Notes in Computer Science, vol 4361 | es |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.title | Towards Probabilistic Model Checking on P Systems Using PRISM | es |
dc.type | info:eu-repo/semantics/bookPart | es |
dcterms.identifier | https://ror.org/03yxnpp24 | |
dc.type.version | info:eu-repo/semantics/acceptedVersion | es |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | es |
dc.contributor.affiliation | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial | es |
dc.relation.projectID | TIN2005-09345-C04-01 | es |
dc.relation.projectID | TIC-581 | es |
dc.relation.publisherversion | http://link.springer.com/chapter/10.1007%2F11963516_30 | es |
dc.identifier.doi | 10.1007/11963516_30 | es |
dc.contributor.group | Universidad de Sevilla. TIC193 : Computación Natural | es |
idus.format.extent | 19 | es |
dc.publication.initialPage | 477 | es |
dc.publication.endPage | 495 | es |
dc.relation.publicationplace | Berlin | es |
dc.contributor.funder | Ministerio de Educación y Ciencia (MEC). España | |
dc.contributor.funder | Junta de Andalucía | |