Manuel Roldán - researchr alias

researchr

You are not signed in
Sign in
Sign up

Francisco Durán, Manuel Roldán, Emilie Balland, Mark G. J. van den Brand, Steven Eker, Karl Trygve Kalleberg, Lennart C. L. Kats, Pierre-Etienne Moreau, Ruslan Shevchenko, Eelco Visser. The Second Rewrite Engines Competition. ENTCS, 238(3):281-291, 2009. [doi]

Francisco Durán, Manuel Roldán, Antonio Vallecillo. Invariant-Driven Strategies for Maude. ENTCS, 124(2):17-28, 2005. [doi]
Francisco Durán, Manuel Roldán, Antonio Vallecillo. Using Maude to write and execute ODP information viewpoint specifications. csi, 27(6):597-620, 2005. [doi]