Showing 1 - 4 results of 4 for search 'SPIN Online', query time: 0.03s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Model checking software 28th International Symposium, SPIN 2022, virtual event, May 21, 2022 : proceedings

    Model checking software 28th International Symposium, SPIN 2022, virtual event, May 21, 2022 : proceedings

    Published 2022
    “…SPIN Online…”

    Get full text Get full text
    Electronic Conference Proceeding eBook


    Saved in:
  2. 2
    Model checking software 27th International Symposium, SPIN 2021, virtual event, July 12, 2021 : proceedings

    Model checking software 27th International Symposium, SPIN 2021, virtual event, July 12, 2021 : proceedings

    Published 2021
    “…SPIN Online…”
    Get full text
    Electronic Conference Proceeding eBook


    Saved in:
  3. 3
    Model checking software 28th international symposium, SPIN 2022, virtual event, May 21, 2022 : proceedings

    Model checking software 28th international symposium, SPIN 2022, virtual event, May 21, 2022 : proceedings

    Published 2022
    “…SPIN Online…”
    Conference Proceeding Book Interlibrary loan Place Request


    Saved in:
  4. 4
    Model checking software 27th international symposium, SPIN 2021, virtual event, July 12, 2021 : proceedings

    Model checking software 27th international symposium, SPIN 2021, virtual event, July 12, 2021 : proceedings

    Published 2021
    “…SPIN Online…”
    Conference Proceeding Book Interlibrary loan Place Request


    Saved in:

Search Tools: