Inductive Sequentialization of Asynchronous Programs (Evaluated Artifact)
| Main Authors: | Bernhard Kragl, Constantin Enea, Thomas A. Henzinger, Suha Orhun Mutluergil, Shaz Qadeer |
|---|---|
| Format: | info software eJournal |
| Terbitan: |
, 2020
|
| Subjects: | |
| Online Access: |
https://zenodo.org/record/3754772 |
Internet
https://zenodo.org/record/3754772Lokasi
| Koleksi | Marga Life in South Sumatra in the Past: Puyang Concept Sacrificed and Demythosized |
|---|---|
| Gedung | Perpustakaan Universitas PGRI Palembang |
| Institusi | Universitas PGRI Palembang |
| Kota | KOTA PALEMBANG |
| Provinsi | SUMATERA SELATAN |
| Kontak | Butuh informasi lebih lanjut? Hubungi pustakawan institusi ini. |