Open AccessDistributed algorithms and their verification with Byzantine model checker
Journal Of Mathematics Mechanics And Computer SciencePeer ReviewedA. T. Bektemessov +22017Journals
The content you want is available to Zendy users.
Already have an account? Sign inHaving issues? Contact support