Search Results - Lluch Lafuente, Alberto

  • Showing 1 - 3 results of 3
Refine Results
  1. 1

    Formal methods for industrial critical systems : 26th international conference, FMICS 2021, Paris, France, August 24-26, 2021 : proceedings by International Workshop on Formal Methods for Industrial Critical Systems Online, SpringerLink (Online service)

    Published: Springer, 2021
    Description: 1 online resource : illustrations.
    Other Authors: “…Lluch Lafuente, Alberto…”
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Formal methods for industrial critical systems : 26th international conference, FMICS 2021, Paris, France, August 24-26, 2021 : proceedings
  2. 2

    Trustworthy global computing : 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013 : revised selected papers by TGC (Symposium) Buenos Aires, Argentina), SpringerLink (Online service)

    Published: Springer, 2014
    Description: 1 online resource (x, 331 pages) : illustrations.
    Other Authors:
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Trustworthy global computing : 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013 : revised selected papers
  3. 3

    Coordination models and languages : 18th IFIP WG 6.1 International Conference, COORDINATION 2016, held as part of the 11th International Federated Conference on Distributed Computi... by COORDINATION (Conference) Ērakleion, Greece), SpringerLink (Online service), International Federated Conferences on Distributed Computing Techniques

    Published: Springer, 2016
    Description: 1 online resource (xiv, 279 pages) : illustrations.
    Other Authors: “…Lluch Lafuente, Alberto…”
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Coordination models and languages : 18th IFIP WG 6.1 International Conference, COORDINATION 2016, held as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

Search Tools: