Logo
Nazad
0 20. 5. 2020.

Formal Framework for Verifying Implementations of Byzantine Fault-Tolerant Protocols Under Various Models


Pretplatite se na novosti o BH Akademskom Imeniku

Ova stranica koristi kolačiće da bi vam pružila najbolje iskustvo

Saznaj više