Suchergebnisse - Lal, Akash

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

    Computer aided verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023 : proceedings, part III

    Veröffentlicht 2023
    Weitere beteiligte Personen: “… Lal, Akash …”
    Online lesen (frei zugänglich)
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

    Computer aided verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023 : proceedings, part I

    Veröffentlicht 2023
    Weitere beteiligte Personen: “… Lal, Akash …”
    Online lesen (frei zugänglich)
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  3. 3
    Buchumschlag

    Verified software: theories, tools and experiments : 14th international conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, revised selected papers

    Veröffentlicht 2023
    Weitere beteiligte Personen: “… Lal, Akash …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  4. 4
    Buchumschlag

    Computer aided verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023 : proceedings, part II

    Veröffentlicht 2023
    Weitere beteiligte Personen: “… Lal, Akash …”
    Online lesen (frei zugänglich)
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  5. 5
    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: “… Lal, Akash …”
    Online lesen (frei zugänglich)
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  6. 6
    Buchumschlag

    Computer aided verification: 35th international conference, CAV 2023, Paris, France, July 17-22, 2023 : proceedings

    Veröffentlicht 2023
    Weitere beteiligte Personen: “… Lal, Akash …”
    Tagungsbericht Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    Computer aided verification: 35th international conference, CAV 2023, Paris, France, July 17-22, 2023 : proceedings
    Part 3

    Veröffentlicht 2023
    Weitere beteiligte Personen: “… Lal, Akash …”
    Tagungsbericht Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    Verified software: theories, tools and experiments : 14th international conference, VSTTE 2022, Trento, Italy, October 17-18, 2022 : revised selected papers

    Veröffentlicht 2023
    Weitere beteiligte Personen: “… Lal, Akash …”
    Tagungsbericht Buch


    Gespeichert in:
  9. 9
    Buchumschlag

    Computer aided verification: 35th international conference, CAV 2023, Paris, France, July 17-22, 2023 : proceedings
    Part 1

    Veröffentlicht 2023
    Weitere beteiligte Personen: “… Lal, Akash …”
    Tagungsbericht Buch


    Gespeichert in:
  10. 10
    Buchumschlag

    Computer aided verification: 35th international conference, CAV 2023, Paris, France, July 17-22, 2023 : proceedings
    Part 2

    Veröffentlicht 2023
    Weitere beteiligte Personen: “… Lal, Akash …”
    Tagungsbericht Buch


    Gespeichert in:

Suchwerkzeuge: