Accelerations for the coverability set of Petri nets with names
- Rosa-Velardo, F.
- Martos-Salgado, M.
- De Frutos-Escrig, D.
ISSN: 0169-2968
Argitalpen urtea: 2011
Alea: 113
Zenbakia: 3-4
Orrialdeak: 313-341
Mota: Biltzar ekarpena
ISSN: 0169-2968
Argitalpen urtea: 2011
Alea: 113
Zenbakia: 3-4
Orrialdeak: 313-341
Mota: Biltzar ekarpena