Coding Mobile Synchronizing Petri Nets into Rewriting Logic
ISSN: 1571-0661
Année de publication: 2007
Volumen: 174
Número: 1
Pages: 83-98
Type: Article
ISSN: 1571-0661
Année de publication: 2007
Volumen: 174
Número: 1
Pages: 83-98
Type: Article