Decidability and complexity of Petri nets with unordered data
ISSN: 0304-3975
Ano de publicación: 2011
Volume: 412
Número: 34
Páxinas: 4439-4451
Tipo: Artigo
ISSN: 0304-3975
Ano de publicación: 2011
Volume: 412
Número: 34
Páxinas: 4439-4451
Tipo: Artigo