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
Constantin Enea
Koleksi Nasional
Menampilkan
1
-
1
of
1
untuk pencarian:
'Constantin Enea'
, lama mencari: 0.04s
Daftar
Grid
Visual
Sortir
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
Inductive Sequentialization of Asynchronous Programs (Evaluated Artifact)
info
software
eJournal
oleh
Bernhard Kragl
,
Constantin
Enea
,
Thomas A. Henzinger
,
Suha Orhun Mutluergil
,
Shaz Qadeer
Terbitan:
2020
Available online:
Get online
Favorit
Tersimpan di:
Search Tools:
Get RSS Feed
—
Email this Search
—
Related Subjects
abstraction
asynchrony
concurrency
induction
invariants
layers
movers
reduction
refinement
verification
×
Loading...
