Automatic Verification and Discovery of Byzantine Consensus Protocols.

Piotr Zielinski

Published in: DSN (2007)

Keyphrases

fault tolerant
knowledge discovery
scientific discovery
data mining
artificial intelligence
website
data structure
artificial neural networks
security protocols