Skip to content
Toggle navigation
Tentang IOS
Join Us
Hubungi Kami
Organisasi Mitra
Akun Anda
Keluar
Masuk
Bahasa Indonesia
Bahasa Indonesia
English
Semua Kolom
Judul
Pengarang
Subject
Call Number
ISBN/ISSN
Tag
Cari
Lanjutan
Pengarang
Metzler, Patrick
Koleksi Nasional
Menampilkan
1
-
2
of
2
untuk pencarian:
'Metzler, Patrick'
, lama mencari: 0.08s
Daftar
Grid
Visual
Sortir
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
Verification and Enforcement of Safe Schedules for Concurrent Programs
info
software
Journal
oleh
Metzler
,
Patrick
Terbitan:
2020
Available online:
Get online
Favorit
Tersimpan di:
Extracting Safe Thread Schedules from Incomplete Model Checking Results
info
software
eJournal
oleh
Metzler
,
Patrick
,
Suri, Neeraj
,
Weissenbacher, Georg
Terbitan:
2020
Available online:
Get online
Favorit
Tersimpan di:
Search Tools:
Get RSS Feed
—
Email this Search
—
Related Subjects
concurrency
model checking
scheduling
multi-threading
software
software verification
verification
×
Loading...
