Publications by the researcher in collaboration with 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