Hasil Pencarian - TOBIAS NIPKOW

  • Menampilkan 1 - 4 hasil dari 4
Perbaiki Hasil
  1. 1
    Interactive verification of Markov chains: Two distributed protocol case studies

    Interactive verification of Markov chains: Two distributed protocol case studies oleh Johannes Hölzl, Tobias Nipkow

    Diterbitkan 2012-12-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  2. 2
    Formal Verification of Language-Based Concurrent Noninterference

    Formal Verification of Language-Based Concurrent Noninterference oleh Andrei Popescu, Johannes Holzl, Tobias Nipkow

    Diterbitkan 2013-01-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  3. 3
    Verified Approximation Algorithms

    Verified Approximation Algorithms oleh Robin Eßmann, Tobias Nipkow, Simon Robillard, Ujkan Sulejmani

    Diterbitkan 2022-03-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  4. 4
    A FORMAL PROOF OF THE KEPLER CONJECTURE

    A FORMAL PROOF OF THE KEPLER CONJECTURE oleh THOMAS HALES, MARK ADAMS, GERTRUD BAUER, TAT DAT DANG, JOHN HARRISON, LE TRUONG HOANG, CEZARY KALISZYK, VICTOR MAGRON, SEAN MCLAUGHLIN, TAT THANG NGUYEN, QUANG TRUONG NGUYEN, TOBIAS NIPKOW, STEVEN OBUA, JOSEPH PLESO, JASON RUTE, ALEXEY SOLOVYEV, THI HOAI AN TA, NAM TRUNG TRAN, THI DIEP TRIEU, JOSEF URBAN, KY VU, ROLAND ZUMKELLER

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

Alat Pencarian: