0
20. 5. 2020.
Formal Framework for Verifying Implementations of Byzantine Fault-Tolerant Protocols Under Various Models
Formal Framework for Verifying Implementations of Byzantine Fault-Tolerant Protocols Under Various Models
Ova stranica koristi kolačiće da bi vam pružila najbolje iskustvo
Saznaj više