Towards probabilistic model checking on P systems using PRISM

Title Towards probabilistic model checking on P systems using PRISM
Publication TypeJournal Papers
Year of Publication2006
AuthorsRomero-Campero, F. J., Gheorghe M., Bianco L., Pescini D., Pérez-Jiménez M. J., & Ceterchi R.
Journal TitleLecture Notes in Computer Science
Place PublishedBerlín
Volume4361
Pages 477-495