Formal verification of p systems with active membranes through model checking

Ipate, Florentin; Lefticaru, Raluca; Pérez-Hurtado, Ignacio; Pérez-Jiménez, Mario J.; Tudose, Cristina

Tipo: Ponencia
Año de Publicación: 2012
Volumen: 7184 LNCS
Páginas: 215 - 225
Fuente Nº Citas Fecha Actualización
scopus328-01-2023
Dimensions
PlumX
Altmetric

Año:

2012

CiteScore:

1.400

CategoríaPosiciónCuartilTercilDecil
General Computer Science84/193Q2T2D5
Theoretical Computer Science83/118Q3T3D8

SJR año:

2012

Factor de Impacto:

0.346

CategoríaPosiciónCuartilTercilDecil
Computer Science (miscellaneous)88/236Q2T2D4
Theoretical Computer Science81/111Q3T3D8
No existen datos para la revista de esta publicación.
No exiten datos para esta publicación
# Autor Afiliación
1Ipate, FlorentinUniversitatea din Pitesti (Romania)
2Lefticaru, RalucaUniversitatea din Pitesti (Romania)
3Pérez-Hurtado, IgnacioUniversidad de Sevilla (Spain)
4Pérez-Jiménez, Mario J.Universidad de Sevilla (Spain)
5Tudose, CristinaUniversitatea din Pitesti (Romania)