Coding Mobile Synchronizing Petri Nets into Rewriting Logic
ISSN: 1571-0661
Ano de publicación: 2007
Volume: 174
Número: 1
Páxinas: 83-98
Tipo: Artigo
ISSN: 1571-0661
Ano de publicación: 2007
Volume: 174
Número: 1
Páxinas: 83-98
Tipo: Artigo