Showing 1 - 6 results of 6 for search 'Sankaranarayanan, Sriram', query time: 0.02s Refine Results
  1. 1
    Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II /

    Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice o...

    Published 2023
    Other Authors: “…Sankaranarayanan, Sriram…”
    Link to Metadata
    Electronic eBook
    Save to List
    Saved in:
  2. 2
    Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I /

    Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice o...

    Published 2023
    Other Authors: “…Sankaranarayanan, Sriram…”
    Link to Metadata
    Electronic eBook
    Save to List
    Saved in:
  3. 3
    Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part II

    Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice o...

    Published 2023
    Other Authors: “…Sankaranarayanan, Sriram…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  4. 4
    Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part I

    Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice o...

    Published 2023
    Other Authors: “…Sankaranarayanan, Sriram…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  5. 5
    Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part II

    Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice o...

    Published 2023
    Other Authors: “…Sankaranarayanan, Sriram…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  6. 6
    Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part I

    Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice o...

    Published 2023
    Other Authors: “…Sankaranarayanan, Sriram…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:

Search Tools: