JOSÉ ALBERTO
VERDEJO LÓPEZ
Profesor titular de universidad
MERCEDES
HIDALGO HERRERO
Profesora contratada doctora
Publicaciones en las que colabora con MERCEDES HIDALGO HERRERO (2)
2007
-
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
-
Using Maude and its strategies for defining a framework for analyzing Eden semantics
Electronic Notes in Theoretical Computer Science