Showing 1 - 5 results of 5 for search 'Ganesh, Vijay', query time: 0.02s 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
    Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis

    Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis by Ganesh, Vijay

    Published 2014
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  2. 2
    Computer aided verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024 : proceedings, part I

    Computer aided verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024 : proceedings, part I

    Published 2024
    Other Authors:

    Get full text Get full text
    Electronic Conference Proceeding eBook


    Saved in:
  3. 3
    Computer aided verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024 : proceedings, part III

    Computer aided verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024 : proceedings, part III

    Published 2024
    Other Authors:

    Get full text Get full text
    Electronic Conference Proceeding eBook


    Saved in:
  4. 4
    Computer aided verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024 : proceedings, part II

    Computer aided verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024 : proceedings, part II

    Published 2024
    Other Authors:

    Get full text Get full text
    Electronic Conference Proceeding eBook


    Saved in:
  5. 5
    Automated technology for verification and analysis 19th international symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, proceedings

    Automated technology for verification and analysis 19th international symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, proceedings

    Published 2021
    Other Authors:
    Get full text
    Electronic Conference Proceeding eBook


    Saved in:

Search Tools: