JOSÉ ALBERTO
VERDEJO LÓPEZ
Profesor titular de universidad
YOLANDA
ORTEGA MALLÉN
Ikertzailea 2022-(e)ra arte
YOLANDA ORTEGA MALLÉN-rekin lankidetzan egindako argitalpenak (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