Yazar
Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481
Format:
Electronic Resources
Alıntı:
Verification and Evaluation of Computer and Communication Systems 12th International Conference
Yazar
Dillig, Isil. editor.
Format:
Electronic Resources
Alıntı:
Replicated Data Types -- Communication-closed asynchronous protocols -- Verification and Invariants
View Other Search Results
Yazar
Li, Zheng. editor. (orcid)0000-0002-3938-7033
Format:
Electronic Resources
Alıntı:
Communications in Computer and Information Science,
Arama Sonuçlarını Sınırlandır
Daraltılmış: