Skip to content

Alberto Lluch Lafuente

    • 32PublicationsNumber of items in Alberto's My Publications folder on Mendeley.
    • 2Followers

    Recent publications

    • Electronic Communications of the EASST Proceedings of the Tenth International Workshop on Graph Transformation and Visual Modeling Techniques ( GTVMT 2011 ) Towards a Maude Tool for Model Checking Temporal Graph Properties Towards a Maude Tool for Model C

      • Lafuente A
      • Vandin A
    • Formal Techniques for Distributed Systems

      • Boronat A
      • Bruni R
      • Lluch-Lafuente A
      • et al.
      Get full text

    Followers (2)

    Following (2)