Publicaciones en las que colabora con JOSÉ ALBERTO VERDEJO LÓPEZ (2)

2007

  1. Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics

    Electronic Notes in Theoretical Computer Science, Vol. 174, Núm. 10 SPEC. ISS., pp. 119-137

2006

  1. Using Maude and its strategies for defining a framework for analyzing Eden semantics

    Electronic Notes in Theoretical Computer Science