Towards probabilistic model checking on P systems using PRISM

Romero-Campero, F. J. ; Gheorghe, M.; Bianco, L.; Pescini, D.; Pérez-Jiménez, M. J.; Ceterchi, R.

Fuente Nº Citas Fecha Actualización
scopus2221-01-2023
wos1821-01-2023
Dimensions
PlumX
Altmetric

Año:

2011

CiteScore:

1.300

CategoríaPosiciónCuartilTercilDecil
General Computer Science79/176Q2T2D5
Theoretical Computer Science85/115Q3T3D8

SJR año:

2006

Factor de Impacto:

0.317

CategoríaPosiciónCuartilTercilDecil
Computer Science (miscellaneous)45/113Q2T2D4
Theoretical Computer Science64/98Q3T2D7
No existen datos para la revista de esta publicación.
Agencia Código de Proyecto
FEDER funds-
FPU fellowship from the Ministerio de Ciencia y Tecnologia of Spain-
Junta de Andalucia-
Ministerio de Ciencia y Tecnologia of Spain, by Plan Nacional de I+D+I - FEDERTIN2005-09345-C04-01
project of ExcellenceTIC 581
Nota: los datos sobre financiación provienen de la WOS
# Autor Afiliación
1Romero-Campero, F. J. Universidad de Sevilla (Spain)
2Gheorghe, M.University of Sheffield (England)
3Bianco, L.University of Verona (Italy)
4Pescini, D.University of Milan (Italy)
5Pérez-Jiménez, M. J.Universidad de Sevilla (Spain)
6Ceterchi, R.University of Bucharest (Romania)