Det Tekniske Fakultet for IT og Design (TECH)

Ph.d. Andrej Kiviriga

En del af serien Det Tekniske Fakultet for IT og Design

Titel: Efficient Model Checking: The Power of Randomness

Fakultet: Det Tekniske Fakultet for IT og Design

Institut: Institut for Datalogi

Læs mere
Open access
Download
 

  • Titel: Efficient Model Checking: The Power of Randomness

    Fakultet: Det Tekniske Fakultet for IT og Design

    Institut: Institut for Datalogi

  • Antal sider

    —

    isbn

    978-87-7573-740-6

    issn

    2446-1628

    Udgave

    PHD

    Udgivelsesår

    2023
  • Filnavn Download

Bøger i samme kategori

Se flere