Suchergebnisse - Larsen, Kim Guldstrand 1957-

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

    Context-dependent bisimulation between processes
    von Larsen, Kim Guldstrand 1957-

    Veröffentlicht 1986
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Recursively defined domains and their induction principles
    von Jensen, Finn V. 1945-, Larsen, Kim Guldstrand 1957-

    Veröffentlicht 1984
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Reachability problems: 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016 : proceedings

    Veröffentlicht 2016
    Weitere beteiligte Personen: “… Larsen, Kim Guldstrand 1957- …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  4. 4
    Buchumschlag

    Tools and algorithms for the construction and analysis of systems: 27th International Conference, TACAS 2021, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021 : proceedings, part I

    Veröffentlicht 2021
    Weitere beteiligte Personen: “… Larsen, Kim Guldstrand 1957- …”
    Online lesen (frei zugänglich)
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  5. 5
    Buchumschlag

    Tools and algorithms for the construction and analysis of systems: 27th International Conference, TACAS 2021, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021 : proceedings, part II

    Veröffentlicht 2021
    Weitere beteiligte Personen: “… Larsen, Kim Guldstrand 1957- …”
    Online lesen (frei zugänglich)
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  6. 6
    Buchumschlag

    Dependable software engineering: theories, tools, and applications : Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017 : proceedings

    Veröffentlicht 2017
    Weitere beteiligte Personen: “… Larsen, Kim Guldstrand 1957- …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  7. 7
    Buchumschlag

    Formal methods for industrial critical systems: 24th international conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, proceedings

    Veröffentlicht 2019
    Weitere beteiligte Personen: “… Larsen, Kim Guldstrand 1957- …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  8. 8
    Buchumschlag

    Models, mindsets, meta: the what, the how, and the why not? : essays dedicated to Bernhard Steffen on the occasion of his 60th birthday

    Veröffentlicht 2019
    Weitere beteiligte Personen: “… Larsen, Kim Guldstrand 1957- …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  9. 9
    Buchumschlag

    42nd International Symposium on Mathematical Foundations of Computer Science

    Veröffentlicht 2017
    Weitere beteiligte Personen: “… Larsen, Kim Guldstrand 1957- …”
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  10. 10
    Buchumschlag

    Sustainable energy systems planning, integration and management

    Veröffentlicht 2019
    Weitere beteiligte Personen: “… Larsen, Kim Guldstrand 1957- …”
    Online lesen (frei zugänglich)
    Elektronisch E-Book


    Gespeichert in:
  11. 11
    Buchumschlag

    Dependable software engineering: Theories, tools, and applications: Third international symposium, SETTA 2017, Changsha, China, October 23-25, 2017 : proceedings

    Veröffentlicht 2017
    Weitere beteiligte Personen: “… Larsen, Kim Guldstrand 1957- …”
    Tagungsbericht Buch


    Gespeichert in:
  12. 12
    Buchumschlag

    Formal methods for industrial critical systems: 24th international conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019 : proceedings

    Veröffentlicht 2019
    Weitere beteiligte Personen: “… Larsen, Kim Guldstrand 1957- …”
    Tagungsbericht Buch


    Gespeichert in:

Suchwerkzeuge: