Search Results - Legay, Axel

  • Showing 1 – 10 results of 10
Filter by
  1. 1
    Cover Image

    Tools and algorithms for the construction and analysis of systems: 23rd International Conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings, part II

    Published 2017
    Other Authors: “…Legay, Axel…”
    Read online
    Electronic Conference Proceedings eBook


    Saved in:
  2. 2
    Cover Image

    Formal modeling and analysis of timed systems: 12th international conference, FORMATS 2014, Florence, Italy, September 8-10, 2014 ; proceedings

    Published 2014
    Other Authors: “…Legay, Axel…”
    Read online
    Electronic Conference Proceedings eBook


    Saved in:
  3. 3
    Cover Image

    Tools and algorithms for the construction and analysis of systems: 23rd International Conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings, part I

    Published 2017
    Other Authors: “…Legay, Axel…”
    Read online
    Electronic Conference Proceedings eBook


    Saved in:
  4. 4
    Cover Image

    Formal modeling and analysis of timed systems: 12th international conference, FORMATS 2014, Florence, Italy, September 8-10, 2014 ; proceedings

    Published 2014
    Other Authors: “…Legay, Axel…”
    Conference Proceedings Book


    Saved in:
  5. 5
    Cover Image

    Model checking software: 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings

    Published 2019
    Other Authors: “…Legay, Axel…”
    Read online
    Electronic Conference Proceedings eBook


    Saved in:
  6. 6
    Cover Image

    Risks and security of internet and systems: 12th International Conference, CRiSIS 2017, Dinard, France, September 19-21, 2017 : revised selected papers

    Published 2018
    Other Authors: “…Legay, Axel…”
    Read online
    Electronic Conference Proceedings eBook


    Saved in:
  7. 7
    Cover Image

    Models, algorithms, logics and tools: essays dedicated to Kim Guldstrand Larsen on the occasion of his 60th birthday

    Published 2017
    Other Authors: “…Legay, Axel…”
    Read online
    Electronic eBook


    Saved in:
  8. 8
    Cover Image

    Tools and algorithms for the construction and analysis of systems: 23rd international conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings
    Part 2

    Published 2017
    Other Authors: “…Legay, Axel…”
    Order via interlibrary loan
    Conference Proceedings Book


    Saved in:
  9. 9
    Cover Image

    Tools and algorithms for the construction and analysis of systems: 23rd international conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings

    Published 2017
    Other Authors: “…Legay, Axel…”
    Order via interlibrary loan
    Conference Proceedings Book


    Saved in:
  10. 10
    Cover Image

    Tools and algorithms for the construction and analysis of systems: 23rd international conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings
    Part 1

    Published 2017
    Other Authors: “…Legay, Axel…”
    Order via interlibrary loan
    Conference Proceedings Book


    Saved in:

Search Tools: