Towards probabilistic model checking on P systems using PRISM
Mon, 10/22/2007 - 10:59 — ana
| Title | Towards probabilistic model checking on P systems using PRISM |
| Publication Type | Journal Papers |
| Year of Publication | 2006 |
| Authors | Romero-Campero, F. J., Gheorghe M., Bianco L., Pescini D., Pérez-Jiménez M. J., & Ceterchi R. |
| Journal Title | Lecture Notes in Computer Science |
| Place Published | Berlín |
| Volume | 4361 |
| Pages | 477-495 |
Research Group on Natural Computing (PAI - TIC 193)
Department of Computer Science and Artificial Intelligence
University of Seville
Webmasters: the members of the RGNC
| Follow us: |  |
 |
|
Featured News: |