Search Results - Kovács, Laura

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

    Tests and proofs: 16th international conference, TAP 2022, held as part of STAF 2022, Nantes, France, July 5, 2022, proceedings

    Published 2022
    Other Authors: “…Kovács, Laura…”
    Read online
    Electronic Conference Proceedings eBook


    Saved in:
  2. 2
    Cover Image

    Integrated formal methods: 19th international conference, IFM 2024, Manchester, UK, November 13-15, 2024, proceedings

    Published 2025
    Other Authors: “…Kovács, Laura…”
    Read online
    Electronic Conference Proceedings eBook


    Saved in:
  3. 3
    Cover Image

    Intelligent computer mathematics: 17th international conference, CICM 2024, Montréal, QC, Canada, August 5–9, 2024, proceedings

    Published 2024
    Other Authors: “…Kovács, Laura 1980-…”
    Read online
    Electronic Conference Proceedings eBook


    Saved in:
  4. 4
    Cover Image

    Reachability problems: 18th international conference, RP 2024, Vienna, Austria, September 25–27, 2024, proceedings

    Published 2024
    Other Authors: “…Kovács, Laura 1980-…”
    Read online
    Electronic Conference Proceedings eBook


    Saved in:
  5. 5
    Cover Image

    Tools and algorithms for the construction and analysis of systems: 30th international conference, TACAS 2024, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, proceedings, part II

    Published 2024
    Other Authors: “…Kovács, Laura 1980-…”
    Read online (freely available)
    Electronic Conference Proceedings eBook


    Saved in:
  6. 6
    Cover Image

    31st International Conference on Concurrency Theory: CONCUR 2020, September 1–4, 2020, Vienna, Austria (Virtual Conference)

    Published 2020
    Other Authors: “…Kovács, Laura 1980-…”
    Read online
    Electronic eBook


    Saved in:
  7. 7
    Cover Image

    Tools and algorithms for the construction and analysis of systems: 30th international conference, TACAS 2024, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, proceedings, part I

    Published 2024
    Other Authors: “…Kovács, Laura 1980-…”
    Read online (freely available)
    Electronic Conference Proceedings eBook


    Saved in:
  8. 8
    Cover Image

    Tools and algorithms for the construction and analysis of systems: 30th international conference, TACAS 2024, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, proceedings, part III

    Published 2024
    Other Authors: “…Kovács, Laura 1980-…”
    Read online (freely available)
    Electronic Conference Proceedings eBook


    Saved in:
  9. 9
    Cover Image

    Automated reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022 : proceedings

    Published 2022
    Other Authors: “…Kovács, Laura 1980-…”
    Read online (freely available)
    Electronic Conference Proceedings eBook


    Saved in:
  10. 10
    Cover Image

    Tests and proofs: 16th international conference, TAP 2022, held as part of STAF 2022, Nantes, France, July 5, 2022 : proceedings

    Published 2022
    Other Authors: “…Kovács, Laura 1980-…”
    Order via interlibrary loan
    Conference Proceedings Book


    Saved in:

Search Tools: