Hasil Pencarian - TOBIAS NIPKOW
Anda harus masuk terlebih dahulu
- Menampilkan 1 - 4 hasil dari 4
-
1
Interactive verification of Markov chains: Two distributed protocol case studies oleh Johannes Hölzl, Tobias Nipkow
Diterbitkan 2012-12-01Dapatkan teks lengkap
Artikel -
2
Formal Verification of Language-Based Concurrent Noninterference oleh Andrei Popescu, Johannes Holzl, Tobias Nipkow
Diterbitkan 2013-01-01Dapatkan teks lengkap
Artikel -
3
Verified Approximation Algorithms oleh Robin Eßmann, Tobias Nipkow, Simon Robillard, Ujkan Sulejmani
Diterbitkan 2022-03-01Dapatkan teks lengkap
Artikel -
4
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-01Dapatkan teks lengkap
Artikel