Coding Mobile Synchronizing Petri Nets into Rewriting Logic
ISSN: 1571-0661
Año de publicación: 2007
Volumen: 174
Número: 1
Páginas: 83-98
Tipo: Artículo
ISSN: 1571-0661
Año de publicación: 2007
Volumen: 174
Número: 1
Páginas: 83-98
Tipo: Artículo