Coding Mobile Synchronizing Petri Nets into Rewriting Logic
ISSN: 1571-0661
Any de publicació: 2007
Volum: 174
Número: 1
Pàgines: 83-98
Tipus: Article
ISSN: 1571-0661
Any de publicació: 2007
Volum: 174
Número: 1
Pàgines: 83-98
Tipus: Article