Hasil Pencarian - Thomas Neele

  • Menampilkan 1 - 3 hasil dari 3
Perbaiki Hasil
  1. 1
    Operations on Fixpoint Equation Systems

    Operations on Fixpoint Equation Systems oleh Thomas Neele, Jaco van de Pol

    Diterbitkan 2024-07-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  2. 2
    On the Scalability of the GPUexplore Explicit-State Model Checker

    On the Scalability of the GPUexplore Explicit-State Model Checker oleh Nathan Cassee, Thomas Neele, Anton Wijs

    Diterbitkan 2017-12-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  3. 3
    A Detailed Account of The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction

    A Detailed Account of The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction oleh Thomas Neele, Antti Valmari, Tim A. C. Willemse

    Diterbitkan 2021-07-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:

Alat Pencarian: