Multiset rewriting for the verification of depth-bounded processes with name binding

  1. Rosa-Velardo, F.
  2. Martos-Salgado, M.
Revista:
Information and Computation

ISSN: 0890-5401,  1090-2651

Año de publicación: 2012

Volumen: 215

Páginas: 68-87

Tipo: Artículo

DOI: 10.1016/J.IC.2012.03.004 GOOGLE SCHOLAR lock_openAcceso abierto editor
Fuente de los datos: Scopus