Using Maude and its strategies for defining a framework for analyzing Eden semantics
Revista:
Electronic Notes in Theoretical Computer Science
ISSN: 1571-0661
Any de publicació: 2006
Pàgines: 64-79
Tipus: Aportació congrés