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

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

ISSN: 0890-5401,  1090-2651

Argitalpen urtea: 2012

Alea: 215

Orrialdeak: 68-87

Mota: Artikulua

DOI: 10.1016/J.IC.2012.03.004 GOOGLE SCHOLAR lock_openSarbide irekia editor
Datuen iturria: Scopus