Ver Publicación - Prisma - Unidad de Bibliometría

Towards probabilistic model checking on P systems using PRISM

Romero-Campero, Francisco J.; Gheorghe, Marian; Bianco, Luca; Pescini, Dario; Pérez-Jiménez, Mario J.; Ceterchi, Rodica

Tipo: Ponencia
Año de Publicación: 2006
Volumen: 4361 LNCS
Páginas: 477 - 495
No hay citas para esta publicación

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.
No exiten datos para esta publicación
# Autor Afiliación
1Romero-Campero, Francisco J.Universidad de Sevilla (Spain)
2Gheorghe, MarianThe University of Sheffield (United Kingdom)
3Bianco, LucaUniversità degli Studi di Verona (Italy)
4Pescini, DarioUniversity of Milano - Bicocca (Italy)
5Pérez-Jiménez, Mario J.Universidad de Sevilla (Spain)
6Ceterchi, RodicaUniversitatea din Bucuresti (Romania)