Accelerations for the coverability set of Petri nets with names

  1. Rosa-Velardo, F.
  2. Martos-Salgado, M.
  3. De Frutos-Escrig, D.
Aldizkaria:
Fundamenta Informaticae

ISSN: 0169-2968

Argitalpen urtea: 2011

Alea: 113

Zenbakia: 3-4

Orrialdeak: 313-341

Mota: Biltzar ekarpena

DOI: 10.3233/FI-2011-611 GOOGLE SCHOLAR

Garapen Iraunkorreko Helburuak