Suchergebnisse - Akshay, S.

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

    Automated Technology for Verification and Analysis: 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part II

    Veröffentlicht 2025
    Weitere beteiligte Personen: “… Akshay, S. …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

    Automated Technology for Verification and Analysis: 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part I

    Veröffentlicht 2025
    Weitere beteiligte Personen: “… Akshay, S. …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  3. 3
    Buchumschlag

    36th IARCS annual conference on foundations of software technology and theoretical computer science: FSTTCS 2016, December 13-15, 2016, Chennai, India

    Veröffentlicht 2016
    Weitere beteiligte Personen: “… Akshay, S. …”
    Online lesen (frei zugänglich)
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:

Suchwerkzeuge: