Decidability and complexity of Petri nets with unordered data
ISSN: 0304-3975
Año de publicación: 2011
Volumen: 412
Número: 34
Páginas: 4439-4451
Tipo: Artículo
ISSN: 0304-3975
Año de publicación: 2011
Volumen: 412
Número: 34
Páginas: 4439-4451
Tipo: Artículo