Skip to content

Alberto Lluch Lafuente

    • 0ReadersNumber of instances of Alberto's publications in Mendeley libraries. Updated daily.
    • 32PublicationsNumber of items in Alberto's My Publications folder on Mendeley.

    Followers (2)

    Following (2)

    Publications (5)

    • 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
      N/AReaders
      N/ACitations
    • Formal Techniques for Distributed Systems

      • Boronat A
      • Bruni R
      • Lluch-Lafuente A
      • et al.
      N/AReaders
      N/ACitations
      Get full text
    • Graph Transformations

      • Gadducci F
      • Lluch-Lafuente A
      • Vandin A
      N/AReaders
      N/ACitations
      Get full text
    • Graph Transformations and Model-Driven Engineering

      • Bruni R
      • Corradini A
      • Gadducci F
      • et al.
      N/AReaders
      N/ACitations
      Get full text
    • Trustworthly Global Computing

      • Bruni R
      • Gadducci F
      • Lluch-Lafuente A
      N/AReaders
      N/ACitations
      Get full text