Suchergebnisse - Legay, Axel

  • Treffer 1 – 10 von 10
Treffer filtern
  1. 1
    Buchumschlag

    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

    Veröffentlicht 2017
    Weitere beteiligte Personen: “… Legay, Axel …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

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

    Veröffentlicht 2014
    Weitere beteiligte Personen: “… Legay, Axel …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  3. 3
    Buchumschlag

    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

    Veröffentlicht 2017
    Weitere beteiligte Personen: “… Legay, Axel …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  4. 4
    Buchumschlag

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

    Veröffentlicht 2014
    Weitere beteiligte Personen: “… Legay, Axel …”
    Tagungsbericht Buch


    Gespeichert in:
  5. 5
    Buchumschlag

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

    Veröffentlicht 2019
    Weitere beteiligte Personen: “… Legay, Axel …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  6. 6
    Buchumschlag

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

    Veröffentlicht 2018
    Weitere beteiligte Personen: “… Legay, Axel …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  7. 7
    Buchumschlag

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

    Veröffentlicht 2017
    Weitere beteiligte Personen: “… Legay, Axel …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  8. 8
    Buchumschlag

    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

    Veröffentlicht 2017
    Weitere beteiligte Personen: “… Legay, Axel …”
    Per Fernleihe bestellen
    Tagungsbericht Buch


    Gespeichert in:
  9. 9
    Buchumschlag

    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

    Veröffentlicht 2017
    Weitere beteiligte Personen: “… Legay, Axel …”
    Per Fernleihe bestellen
    Tagungsbericht Buch


    Gespeichert in:
  10. 10
    Buchumschlag

    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

    Veröffentlicht 2017
    Weitere beteiligte Personen: “… Legay, Axel …”
    Per Fernleihe bestellen
    Tagungsbericht Buch


    Gespeichert in:

Suchwerkzeuge: