Suchergebnisse - Raskin, Jean-François

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

    34th International Conference on Concurrency Theory: CONCUR 2023, September 18–23, 2023, Antwerp, Belgium

    Veröffentlicht 2023
    Weitere beteiligte Personen: “… Raskin, Jean-François …”
    Online lesen (frei zugänglich)
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

    Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014 : Proceedings

    Veröffentlicht 2014
    Weitere beteiligte Personen: “… Raskin, Jean-François …”
    Inhaltsverzeichnis
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  3. 3
    Buchumschlag

    Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday

    Veröffentlicht 2022
    Weitere beteiligte Personen: “… Raskin, Jean-François …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  4. 4
    Buchumschlag

    42nd International Symposium on Mathematical Foundations of Computer Science

    Veröffentlicht 2017
    Weitere beteiligte Personen: “… Raskin, Jean-François …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  5. 5
    Buchumschlag

    Principles of systems design: essays dedicated to Thomas A. Henzinger on the occasion of his 60th birthday

    Veröffentlicht 2022
    Weitere beteiligte Personen: “… Raskin, Jean-François …”
    Buch


    Gespeichert in:

Suchwerkzeuge: